On the Joyal-type model structure for cubical quasi-categories on cubical sets:
with connections (positive, negative, or both):
and without connections:
Last revised on July 12, 2022 at 08:32:13. See the history of this page for a list of all contributions to it.