Collapsed toposes and cartesian closed varieties

DOI10.1016/0021-8693(90)90230-LzbMath0696.18002MaRDI QIDQ910487

Peter T. Johnstone

Publication date: 1990

Published in: Journal of Algebra (Search for Journal in Brave)

zbMATH Keywords

Grothendieck toposcartesian closed variety of algebrascommutative hyperaffine theoryprojective set of generatorssyntactic characterizationtwo-valued collapsewell-supported objects

Mathematics Subject Classification ID

Topoi (18B25) Equational categories (18C05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of algebras (08C05) Varieties (08B99)

Related Items (10)

Bjarni Jónsson's contributions in algebra ⋮ Semantics of weakening and contraction ⋮ A characterisation of Lie algebras via algebraic exponentiation ⋮ On exponentiability of étale algebraic homomorphisms ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ On exponentiable morphisms in classical algebra ⋮ Hopf monads: a survey with new examples and applications ⋮ Connected limits, familial representability and Artin glueing ⋮ Cartesian monads on toposes ⋮ Actions of Boolean rings on sets

Cites Work

• Choice and well-ordering
• When is a variety a topos ?
• Algebras Whose Congruence Lattices are Distributive.
• Bilinearity and Cartesian Closed Monads.
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Collapsed toposes and cartesian closed varieties