Mathematics – Category Theory
Scientific paper
2009-07-14
Mathematics
Category Theory
19 pages
Scientific paper
We give characterizations, for various fragments of geometric logic, of the
class of theories classified by a locally connected (resp. connected and
locally connected, atomic, compact, presheaf) topos, and exploit the existence
of multiple sites of definition for a given topos to establish some properties
of quotients of theories of presheaf type.
No associations
LandOfFree
One topos, many sites does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with One topos, many sites, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and One topos, many sites will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-331837