When is a variety a topos ?
From MaRDI portal
Publication:1080512
DOI10.1007/BF01188056zbMath0599.18003OpenAlexW2077980683MaRDI QIDQ1080512
Publication date: 1985
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01188056
Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05)
Related Items (4)
Bjarni Jónsson's contributions in algebra ⋮ Collapsed toposes and cartesian closed varieties ⋮ A semantic characterization of the well-typed formulae of \(\lambda\)- calculus ⋮ Syntactic characterizations of various classes of locally presentable categories
Cites Work
This page was built for publication: When is a variety a topos ?