scientific article
zbMATH Open0456.18004MaRDI QIDQ3904751FDOQ3904751
Publication date: 1981
Title of this publication is not available (Why is that?)
adjunctionsGrothendieck topologiessheaf theoryalgebrasGrothendieck toposcategory of relationstriplescartesian categorieselementary toposestripleabilityBoole and Heyting algebrassheaf functorsheaves on a sieve
Categorical logic, topoi (03G30) Categories of spans/cospans, relations, or partial maps (18B10) Topoi (18B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Foundations, relations to logic and deductive systems (18A15) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3904751)
