Misión del Día: Matemáticas & Lógica
Monitorizando categorías: math.CT, math.DS, math.OC. Umbral de señal: 15. Umbral de observación: 5. Analizados: 600.
Golden Bullet
The Rezk Completion for Elementary Topoi
55 pts
The Rezk Completion for Elementary Topoi
55 pts
SOURCE FILE →
The development of category theory in univalent foundations and the formalization thereof is an active field of research. Categories in that setting are often assumed to be univalent which means that identities and isomorphisms of objects coincide.