Introduction: A personal tribute to Peter Freyd and Bill Lawvere

DOI10.1515/tmj-2017-0114zbMath1379.01024MaRDI QIDQ680307

No author found.

Publication date: 23 January 2018

Published in: Tbilisi Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/tmj-2017-0114

Mathematics Subject Classification ID

01A70: Biographies, obituaries, personalia, bibliographies

18-03: History of category theory

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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Choice and well-ordering
• All topoi are localic or why permutation models prevail
• Lindenbaum algebras of intuitionistic theories and free categories
• Coherence theorems via knot theory
• Categorical algebra for continuum micro physics
• A new polynomial invariant of knots and links
• Metric spaces, generalized logic, and closed categories
• Cohesive Toposes and Cantor's 'lauter Einsen'
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Algebra valued functors in general and tensor products in particular
• Proceedings of the Conference on Categorical Algebra
• Some algebraic problems in the context of functorial semantics of algebraic theories
• Aspects of topoi
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• The axiom of choice