Substructural fixed-point theorems and the diagonal argument: theme and variations
Date
2023
Authors
Roberts, D.M.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
Compositionality, 2023; 5(8):1-16
Statement of Responsibility
David Michael Roberts
Conference Name
Abstract
This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the diagonal argument can be stripped back further, to a semantic analogue of a weak substructural logic lacking weakening or exchange.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
This Paper is published in Compositionality under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.