scientific article; zbMATH DE number 3608260
zbMATH Open0392.18006MaRDI QIDQ4173541FDOQ4173541
Authors: Gavin C. Wraith, Peter Johnstone 
Publication date: 1978
Title of this publication is not available (Why is that?)
TriplesAlgebraic TheoriesBase ToposBoolean ToposClassifying ToposFinitary Internal Algebraic TheoriesGeneric ObjectInfinitary Algebraic TheoriesLocally Internal MonadsNatural Number ObjectNatural Tensor ProductObject Classifier
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
- Univalent categories of modules
- Lax monads. Indexed monoidal monads
- 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
- Title not available (Why is that?)
- Variations on the bagdomain theme
- Title not available (Why is that?)
- 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)
