David Corfield
@davidcorfield.bsky.social
Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
I hope you find inspiration and an outlet. Nothing has come close for me to the thrill of writing on the n-Category Cafe c. 2006-2013.
November 4, 2025 at 8:07 AM
I hope you find inspiration and an outlet. Nothing has come close for me to the thrill of writing on the n-Category Cafe c. 2006-2013.
Linked to "The unreasonable power of the lifting property in elementary mathematics"? Penultimate reference on 'nLab: factorization system':
ncatlab.org/nlab/show/fa...
ncatlab.org/nlab/show/fa...
ncatlab.org
September 24, 2025 at 6:19 AM
Linked to "The unreasonable power of the lifting property in elementary mathematics"? Penultimate reference on 'nLab: factorization system':
ncatlab.org/nlab/show/fa...
ncatlab.org/nlab/show/fa...
The CW01 mentioned in the footnote is Caccamo & Winskel: A Higher-Order Calculus for Categories
www.brics.dk/RS/01/27/BRI.... It has rules such as
www.brics.dk/RS/01/27/BRI.... It has rules such as
June 7, 2025 at 6:47 AM
The CW01 mentioned in the footnote is Caccamo & Winskel: A Higher-Order Calculus for Categories
www.brics.dk/RS/01/27/BRI.... It has rules such as
www.brics.dk/RS/01/27/BRI.... It has rules such as
Maybe via ends/coends and this?:
arxiv.org/abs/1501.02503
arxiv.org/abs/1501.02503
June 6, 2025 at 10:47 AM
Maybe via ends/coends and this?:
arxiv.org/abs/1501.02503
arxiv.org/abs/1501.02503