Cartesian closed varieties. I: The classification theorem

DOI10.1007/S00012-024-00869-1MaRDI QIDQ6610059

Richard Garner

Publication date: 24 September 2024

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

zbMATH Keywords

Boolean algebraCartesian closed varietyhyperaffine theory

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Actions of Boolean rings on sets
• Cartesian monads on toposes
• Collapsed toposes and cartesian closed varieties
• When is a variety a topos ?
• A Set of Independent Axioms for Boolean Algebra
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
• Sound and complete equational reasoning over comodels

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)