Commit 2025-11-23 17:11 ef921c9a

feat(Algebraic Topology): the strict bicategory of quasicategories (#31101) The category of quasicategories, defined as a full subcategory of simplicial sets, may be extended to a strict bicategory whose objects are quasicategories, 1-cells are maps of simplicial sets, and 2-cells are homotopy classes of homotopies between such maps. Co-authored by Mario Carneiro