vix.ing
·
top
·
new
·
best
·
stats
·
spec
Andrea Giusto
Free constructions for comprehension categories
2026/07/29 by
Francesco Dagnino
,
Jacopo Emmenegger
,
Andrea Giusto
Computer Science
·
Mathematics
·
#cs.LO
#math.CT