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)
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