Collapsed toposes and cartesian closed varieties
DOI10.1016/0021-8693(90)90230-LzbMATH Open0696.18002MaRDI QIDQ910487FDOQ910487
Publication date: 1990
Published in: Journal of Algebra (Search for Journal in Brave)
Recommendations
Grothendieck toposcartesian closed variety of algebrascommutative hyperaffine theoryprojective set of generatorssyntactic characterizationtwo-valued collapsewell-supported objects
Categories of algebras (08C05) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Equational categories (18C05) Varieties (08B99)
Cites Work
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Algebras Whose Congruence Lattices are Distributive.
- Title not available (Why is that?)
- Title not available (Why is that?)
- When is a variety a topos ?
- Bilinearity and Cartesian Closed Monads.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Choice and well-ordering
- Title not available (Why is that?)
Cited In (15)
- When is a variety a topos ?
- Hopf monads: a survey with new examples and applications
- Semantics of weakening and contraction
- Collapsing construction with nilpotent structures
- Colimit completions and the effective topos
- Cartesian closed varieties. I: The classification theorem
- \(\widehat A\)-genus and collapsing.
- Connected limits, familial representability and Artin glueing
- A characterisation of Lie algebras via algebraic exponentiation
- On exponentiable morphisms in classical algebra
- Bjarni Jónsson's contributions in algebra
- On exponentiability of étale algebraic homomorphisms
- Actions of Boolean rings on sets
- The costructure–cosemantics adjunction for comodels for computational effects
- Cartesian monads on toposes
This page was built for publication: Collapsed toposes and cartesian closed varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910487)
