Category Theory Seminar: Jonathan Weinberger (Chapman University)
Krieger 413Title: Directed univalence and the Yoneda embedding for synthetic (∞,1)-categoriesAbstract: I'll present recent advances in synthetic (∞,1)-category theory, more specifically a modal extension of Riehl--Shulman's simplicial homotopy type theory. This includes […]