Totally distributive toposes

  title={Totally distributive toposes},
  author={R. B. Lucyshyn-Wright},
  journal={Journal of Pure and Applied Algebra},
  • R. B. Lucyshyn-Wright
  • Published 2012
  • Mathematics, Computer Science
  • Journal of Pure and Applied Algebra
  • Abstract A locally small category E is totally distributive (as defined by Rosebrugh and 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… CONTINUE READING
    3 Citations

    Topics from this paper.

    Completely distributive enriched categories are not always continuous.
    • 2
    • PDF
    Regularity vs. constructive complete (co)distributivity
    • 3
    • PDF


    Constructive complete distributivity III
    • 42
    Notions of topos
    • 22
    • PDF
    Constructive complete distributivity. I
    • 46
    Sketches of an Elephant: A Topos Theory Compendium Volume 1
    • 716
    The duality of continuous posets
    • 60
    Constructive complete distributivity. I, Math
    • Proc. Cambridge Philos. Soc
    • 1990