Category theory based on combinatory logic

DOI10.1007/BF02007137MaRDI QIDQ3335754zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 1984

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138019

zbMATH Keywords

functor categorieshigher order categoriesIllative combinatory logicNatural transformationsset theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Nonclassical and second-order set theories (03E70) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Some generalizations to two systems of set theory based on combinatory logic
• A logic for category theory
• Foundations of unlimited category theory: what remains to be done
• scientific article; zbMATH DE number 3916525
• A category-theoretic characterization of functional completeness

Cites work

• A one axiom set theory based on higher order predicate calculus
• A weak absolute consistency proof for some systems of illative combinatory logic
• Combinatory logic. Vol. II
• Combinatory logic. With two sections by William Craig.
• scientific article; zbMATH DE number 3621970 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Set theory in predicate calculus with equality
• Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic

Cited in

(8)

• Are the traditional philosophies of mathematics really incompatible?
• scientific article; zbMATH DE number 5711606 (Why is no real title available?)
• scientific article; zbMATH DE number 3941502 (Why is no real title available?)
• Axiomatizing a category of categories
• A relativization mechanism in recursion categories
• Higher type categories
• ALGEBRAIC NEW FOUNDATIONS
• A logic for category theory

This page was built for publication: Category theory based on combinatory logic

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