Exact completions and small sheaves

Details Exact completions and small sheaves Exact completions and small sheaves

2012-03-20

arxiv.org/abs/1203.4318v1

Mathematics

Category Theory

65 pages

Scientific paper

We prove a general theorem which includes most notions of "exact completion". The theorem is that "k-ary exact categories" are a reflective sub-2-category of "k-ary sites", for any regular cardinal k. A k-ary exact category is an exact category with disjoint and universal k-small coproducts, and a k-ary site is a site whose covering sieves are generated by k-small families and which satisfies a weak size condition. For different values of k, this includes the exact completions of a regular category or a category with (weak) finite limits; the pretopos completion of a coherent category; and the category of sheaves on a small site. For a large site with k the size of the universe, it gives a well-behaved "category of small sheaves". Along the way, we define a slightly generalized notion of "morphism of sites", and show that k-ary sites are equivalent to a type of "enhanced allegory".

Affiliated with

Also associated with

No associations

Rating

Exact completions and small sheaves 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 Exact completions and small sheaves, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Exact completions and small sheaves will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-493608