|
2 | typo | ||
|
What kind of categories $C$ have the property that each slice category $C/c$ is a topos? Obviously, topoi have this property, but, the converse is not true. An example is the category $EtTop$ of topological spaces and only local homeomorphisms. $EtTop/X \cong Sh(X)$, but $EtTop$ is very far from being a topos! It doesn't have an initial or final object, nor pushouts... Are there other of these "locally a topos" categories which are not topoi? Have they been studied before? |
||||
|
|
1 |
|
||
Locally a toposWhat kind of categories $C$ have the property that each slice category $C/c$ is a topos? Obviously, topoi have this property, but, the converse is not true. An example is the category $EtTop$ of topological spaces and only homeomorphisms. $EtTop/X \cong Sh(X)$, but $EtTop$ is very far from being a topos! It doesn't have an initial or final object, nor pushouts... Are there other of these "locally a topos" categories which are not topoi? Have they been studied before?
|
||||
