scientific article; zbMATH DE number 3608260

MaRDI QIDQ4173541zbMATH OpenFDO

Authors Gavin C. Wraith, Peter Johnstone

Publication date 1978

zbMATH Keywords

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

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

(21)

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

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)