Introduction: A personal tribute to Peter Freyd and Bill Lawvere
From MaRDI portal
Publication:680307
DOI10.1515/TMJ-2017-0114zbMATH Open1379.01024OpenAlexW2781561388MaRDI QIDQ680307FDOQ680307
Authors:
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
Recommendations
Cites Work
- A new polynomial invariant of knots and links
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Metric spaces, generalized logic, and closed categories
- Title not available (Why is that?)
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Coherence theorems via knot theory
- Title not available (Why is that?)
- The axiom of choice
- Title not available (Why is that?)
- Aspects of topoi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebra valued functors in general and tensor products in particular
- Choice and well-ordering
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- All topoi are localic or why permutation models prevail
- Lindenbaum algebras of intuitionistic theories and free categories
- Categorical algebra for continuum micro physics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cohesive Toposes and Cantor's 'lauter Einsen'
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
- Axiomatic cohesion
- Proceedings of the Conference on Categorical Algebra
- Some algebraic problems in the context of functorial semantics of algebraic theories
Cited In (3)
This page was built for publication: Introduction: A personal tribute to Peter Freyd and Bill Lawvere
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q680307)
