On the Joyal-type model structure for cubical quasi-categories on cubical sets with connections:
On a calculus of fractions generalized from categories to quasi-categories (“-calculus of fractions”, for localization of -categories):
Last revised on October 18, 2023 at 06:48:04. See the history of this page for a list of all contributions to it.