Equational classes of toposes

DOI10.1080/00927878308822882zbMath0503.18002OpenAlexW2148319424MaRDI QIDQ3969101

Ieke Moerdijk

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1080/00927878308822882

zbMATH Keywords

Birkhoff-type theoremelementary toposesequationally definable toposesfaithful logical functors

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiomatic model classes (08C10)

Cites Work

• Unnamed Item
• Intuitionist type theory and the free topos
• La logique des topos

This page was built for publication: Equational classes of toposes