Jacob Neumann, (Co)ends and (Co)structure, Homotopy Type Theory Electronic Seminar Talks, 1 December 2022 (slides, video)
Jacob Neumann, Paranatural Category Theory, 2023, arxiv:2307.09289
On directed type theory (directed homotopy type theory):
Last revised on November 16, 2025 at 10:01:51. See the history of this page for a list of all contributions to it.