From types to sets

DOI10.1016/0001-8708(80)90013-4MaRDI QIDQ1140642zbMATH OpenOpenAlexFDO

Authors J. Lambek

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

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

Cites work

• scientific article; zbMATH DE number 3528455 (Why is no real title available?)
• scientific article; zbMATH DE number 3528456 (Why is no real title available?)
• scientific article; zbMATH DE number 3542619 (Why is no real title available?)
• scientific article; zbMATH DE number 3565185 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• scientific article; zbMATH DE number 3385864 (Why is no real title available?)
• scientific article; zbMATH DE number 3396151 (Why is no real title available?)
• scientific article; zbMATH DE number 3404447 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Are Variables Necessary in Calculus
• Aspects of topoi
• Axiom of Choice and Complementation
• Boolean topoi and the theory of sets
• Completeness in the theory of types
• Functional completeness of cartesian categories
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971

Cited in

(7)

• Laminations, or how to build a quantum-logic-valued model of set theory
• Meeting of the Association for Symbolic Logic Florence, Italy 1982
• Intuitionist type theory and foundations
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• Chasing diagrams in cryptography
• Intuitionist type theory and the free topos
• scientific article; zbMATH DE number 3741397 (Why is no real title available?)

This page was built for publication: From types to sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1140642)