Totally distributive toposes

Details Totally distributive toposes Totally distributive toposes

2011-08-19

arxiv.org/abs/1108.4032v3

Mathematics

Category Theory

Now includes extended result: The lex totally distributive categories with a small set of generators are exactly the injective

Scientific paper

A locally small category E is totally distributive (as defined by Rosebrugh-Wood) if there exists a string of adjoint functors t -| c -| y, where y : E --> E^ is the Yoneda embedding. Saying that E is lex totally distributive if, moreover, the left adjoint t preserves finite limits, we show that the lex totally distributive categories with a small set of generators are exactly the injective Grothendieck toposes, studied by Johnstone and Joyal. We characterize the totally distributive categories with a small set of generators as exactly the essential subtoposes of presheaf toposes, studied by Kelly-Lawvere and Kennett-Riehl-Roy-Zaks.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-108922