Category theory based on combinatory logic

DOI10.1007/BF02007137zbMATH Open0545.03005MaRDI QIDQ3335754FDOQ3335754

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

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

zbMATH Keywords

functor categoriesset theorieshigher order categoriesIllative combinatory logicNatural transformations

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)

Cites Work

• Title not available (Why is that?)
• Combinatory logic. With two sections by William Craig.
• Combinatory logic. Vol. II
• Title not available (Why is that?)
• A one axiom set theory based on higher order predicate calculus
• A weak absolute consistency proof for some systems of illative combinatory logic
• Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
• Set theory in predicate calculus with equality

Cited In (6)

• A logic for category theory
• ALGEBRAIC NEW FOUNDATIONS
• Are the traditional philosophies of mathematics really incompatible?
• Title not available (Why is that?)
• Title not available (Why is that?)
• A relativization mechanism in recursion categories

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)