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)

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

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)