From types to sets

DOI10.1016/0001-8708(80)90013-4zbMath0436.03053OpenAlexW2083682852MaRDI QIDQ1140642

No author found.

Publication date: 1980

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(80)90013-4

zbMATH Keywords

type theoryfree toposaxiom of extensionalityclosed logical categorydogmaHeyting algebra object

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (6)

Intuitionist type theory and the free topos ⋮ Intuitionist type theory and foundations ⋮ Unnamed Item ⋮ Chasing Diagrams in Cryptography ⋮ Laminations, or how to build a quantum-logic-valued model of set theory ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
• Boolean topoi and the theory of sets
• Axiom of Choice and Complementation
• Functional completeness of cartesian categories
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Aspects of topoi
• Are Variables Necessary in Calculus
• Completeness in the theory of types

This page was built for publication: From types to sets