Introduction: A personal tribute to Peter Freyd and Bill Lawvere
From MaRDI portal
Publication:680307
DOI10.1515/tmj-2017-0114zbMath1379.01024OpenAlexW2781561388MaRDI 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
Cites Work
- 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
- 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