Cartesian closed varieties. I: The classification theorem

DOI10.1007/S00012-024-00869-1MaRDI QIDQ6610059zbMATH OpenFDO

Authors Richard Garner

Publication date 24 September 2024

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00012-024-00869-1

zbMATH Keywords

Boolean algebraCartesian closed varietyhyperaffine theory

Mathematics Subject Classification ID

Categories of algebras (08C05) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites work

• A Set of Independent Axioms for Boolean Algebra
• Actions of Boolean rings on sets
• Cartesian monads on toposes
• Collapsed toposes and cartesian closed varieties
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 3645093 (Why is no real title available?)
• scientific article; zbMATH DE number 3952838 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• Semigroups with if-then-else and halting programs
• Sound and complete equational reasoning over comodels
• When is a variety a topos ?

Cited in

(1)

• Relating ample and biample topological categories with Boolean restriction and range semigroups

This page was built for publication: Cartesian closed varieties. I: The classification theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610059)