Aspects of topoi: Corrigenda and acknowledgements
From MaRDI portal
Publication:5665317
DOI10.1017/S0004972700045408zbMath0252.18002OpenAlexW2058120917MaRDI QIDQ5665317
Publication date: 1972
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0004972700045408
Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical embedding theorems (18E20) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)
Related Items
Representation of categories, An exact coexact characterization of the finite cardinals, Left exact logic, On right adjoints to exponential functors, Pluri-adjoints and preservation of finite limits, An induction principle and pigeonhole principles for K-finite sets, Abstract Galois theory. II, A characterization of quasi-toposes, A presentation of the initial lift-algebra, Comprehension categories and the semantics of type dependency, A category-theoretic approach to Boolean-valued models of set theory, Laminations, or how to build a quantum-logic-valued model of set theory, Repleteness and the associated sheaf, A presentation of topoi as algebraic relative to categories or graphs
