Introduction: A personal tribute to Peter Freyd and Bill Lawvere

DOI10.1515/TMJ-2017-0114MaRDI QIDQ680307zbMATH OpenOpenAlexFDO

Authors

Publication date 23 January 2018

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of category theory (18-03)

Recommendations

• Foreword
• Foreword
• F. William Lawvere (1937--2023): a lifelong struggle for the unity of mathematics
• Publication:3469072
• Foreword

Cites work

• scientific article; zbMATH DE number 5311407 (Why is no real title available?)
• scientific article; zbMATH DE number 4057749 (Why is no real title available?)
• scientific article; zbMATH DE number 3739803 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3533138 (Why is no real title available?)
• scientific article; zbMATH DE number 3625612 (Why is no real title available?)
• scientific article; zbMATH DE number 1522869 (Why is no real title available?)
• scientific article; zbMATH DE number 1552079 (Why is no real title available?)
• scientific article; zbMATH DE number 5593534 (Why is no real title available?)
• scientific article; zbMATH DE number 5934750 (Why is no real title available?)
• scientific article; zbMATH DE number 3264101 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• A new polynomial invariant of knots and links
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Algebra valued functors in general and tensor products in particular
• All topoi are localic or why permutation models prevail
• Aspects of topoi
• Axiomatic cohesion
• Categorical algebra for continuum micro physics
• Choice and well-ordering
• Coherence theorems via knot theory
• Cohesive Toposes and Cantor's 'lauter Einsen'
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Lindenbaum algebras of intuitionistic theories and free categories
• Metric spaces, generalized logic, and closed categories
• Proceedings of the Conference on Categorical Algebra
• Some algebraic problems in the context of functorial semantics of algebraic theories
• The axiom of choice

Cited in

(3)

• Corrado Böhm. The \(\lambda\)-adventure
• Foreword
• Foreword

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)