Precise relationship between elementary and Grothendieck toposes? – mathoverflow.net

Precise relationship between elementary and Grothendieck toposes? – mathoverflow.net

15:09 No Comments
Elementary toposes form an elementary class in that they are axiomatizable by (finitary) first-order sentences in the "language of categories" (consisting of a sort for objects, a sort for morphisms, ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "Precise relationship between elementary and Grothendieck toposes? – mathoverflow.net"

Post a Comment

Subscribe to: Post Comments (Atom)