scientific article; zbMATH DE number 3608260
From MaRDI portal
Publication:4173541
zbMath0392.18006MaRDI QIDQ4173541
Gavin C. Wraith, Peter T. Johnstone
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
TriplesAlgebraic TheoriesBase ToposBoolean ToposClassifying ToposFinitary Internal Algebraic TheoriesGeneric ObjectInfinitary Algebraic TheoriesLocally Internal MonadsNatural Number ObjectNatural Tensor ProductObject Classifier
Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
Functions on universal algebras, Continuity and geometric logic, Variations on the bagdomain theme, Bundle functors and fibrations, On algebras defined by operations and equations in a topos, Galois theory in a topos, Galois theory and theaters of action in a topos, Univalent categories of modules, On defining objects by recursion in a topos, Continuous categories and exponentiable toposes, Comparing material and structural set theories, Lax monads. Indexed monoidal monads, Unnamed Item, A presentation of the initial lift-algebra, Cartesian monads on toposes, Unnamed Item, On the structure of categories of coalgebras, Unnamed Item, Rings, fields, and spectra, Algebraic theories and commutativity in a sheaf topos, The connected Vietoris powerlocale
