Collapsed toposes and cartesian closed varieties

DOI10.1016/0021-8693(90)90230-LMaRDI QIDQ910487zbMATH OpenFDO

Authors Peter 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

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

Recommendations

• When is a variety a topos ?
• scientific article; zbMATH DE number 2215448
• Characterizing categories of algebras
• Syntactic characterizations of various classes of locally presentable categories
• WHEN IS A CATEGORY OF MANY-SORTED PARTIAL ALGEBRAS CARTESIAN-CLOSED?

Cites work

• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3236070 (Why is no real title available?)
• scientific article; zbMATH DE number 3287761 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 3335057 (Why is no real title available?)
• scientific article; zbMATH DE number 3407893 (Why is no real title available?)
• Algebras Whose Congruence Lattices are Distributive.
• Bilinearity and Cartesian Closed Monads.
• Choice and well-ordering
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• When is a variety a topos ?

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
• A characterisation of Lie algebras via algebraic exponentiation
• Connected limits, familial representability and Artin glueing
• \(\widehat A\)-genus and collapsing.
• On exponentiable morphisms in classical algebra
• Bjarni Jónsson's contributions in algebra
• Actions of Boolean rings on sets
• On exponentiability of étale algebraic homomorphisms
• 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)