scientific article; zbMATH DE number 3608260

MaRDI QIDQ4173541zbMATH OpenFDO

Authors Gavin C. Wraith, Peter Johnstone

Publication date 1978

zbMATH Keywords

Algebraic TheoriesBase ToposBoolean ToposClassifying ToposFinitary Internal Algebraic TheoriesGeneric ObjectInfinitary Algebraic TheoriesLocally Internal MonadsNatural Number ObjectNatural Tensor ProductObject ClassifierTriples

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories of algebras (08C05) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Cited in

(22)

• The connected Vietoris powerlocale
• Functions on universal algebras
• On algebras defined by operations and equations in a topos
• Galois theory in a topos
• Galois theory and theaters of action in a topos
• On defining objects by recursion in a topos
• Continuous categories and exponentiable toposes
• Lax monads. Indexed monoidal monads
• Rings, fields, and spectra
• Variations on the bagdomain theme
• Bundle functors and fibrations
• Comparing material and structural set theories
• Algebraic theories and commutativity in a sheaf topos
• Continuity and geometric logic
• Categories in categories, and size matters
• scientific article; zbMATH DE number 3824050 (Why is no real title available?)
• scientific article; zbMATH DE number 529898 (Why is no real title available?)
• On the structure of categories of coalgebras
• Univalent categories of modules
• A presentation of the initial lift-algebra
• Cartesian monads on toposes
• The elementary theory of the 2-category of small categories

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 Q4173541)