The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
1answer
199 views

Pullback-stability of internally projective objects

An object $X$ of a category $C$ is said to be projective if the hom-functor $C(X,-)$ preserves epimorphisms (or, in general, some restricted class of epimorphisms such as the regular or effective ...
6
votes
2answers
456 views

On internal functions and arrows in a Topos

I am not an expert on elementary topos (meaning by this to work with the internal language in a Grothendiek topos) and I rather be told than struggle with the following: Consider an elementary topos ...
11
votes
1answer
478 views

What are the smooth manifolds in the topos of sheaves on a smooth manifold?

The category of internal locales in the Grothendieck topos of sheaves on a locale X is equivalent to the slice category over X. In other words, internal locales over X are precisely morphisms of ...