scientific article; zbMATH DE number 3713929

MaRDI QIDQ3904751zbMATH OpenFDO

Authors Alexandru Gh. Radu

Publication date 1981

zbMATH Keywords

adjunctionsGrothendieck topologiessheaf theoryalgebrasGrothendieck toposcategory of relationstriplescartesian categorieselementary toposestripleabilityBoole and Heyting algebrassheaf functorsheaves on a sieve

Mathematics Subject Classification ID

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)