I am an Associate Professor at the University of San Diego. Here is my web page.
I have recently been deeply involved in homotopy type theory. I am also interested in (higher) category theory and its applications to the rest of mathematics, particularly homotopy theory. I also tend to be a partisan of higher-categorical structures other than $n$-categories (such as double categories, multicategories, proarrow equipments, F-categories, and so on), which sometimes seem to get neglected.
For my own reference: some pages that I was once planning to do some work on:
And here’s how to make a barred arrow $A ⇸ B$, since I always forget:
⇸
And here’s the esh $ʃ$ (see here):
ʃ
On cohesive homotopy type theory:
Mike Shulman, Brouwer’s fixed-point theorem in real-cohesive homotopy type theory, Mathematical Structures in Computer Science Vol 28 (6) (2018): 856-941 (arXiv:1509.07584, doi:10.1017/S0960129517000147)
Mike Shulman, Homotopy type theory: the logic of space, New Spaces in Mathematics: Formal and Conceptual Reflections, ed. Gabriel Catren and Mathieu Anel, Cambridge University Press, 2021 (arXiv:1703.03007, doi:10.1017/9781108854429)
On higher observational type theory:
Last revised on March 7, 2023 at 12:59:17. See the history of this page for a list of all contributions to it.