The following pages link to Toposes as homotopy groupoids (Q1813668):
Displayed 4 items.
- On the construction of the Grothendieck fundamental group of a topos by paths (Q678834) (← links)
- Every étendue comes from a local equivalence relation (Q1208192) (← links)
- Representing topoi by topological groupoids (Q1295576) (← links)
- An addendum to “Path-lifting for Grothendieck toposes" (Q4372348) (← links)