Commit 2025-07-12 12:51 62fb68d5
View on Github →feat(Bicategory/CatEnriched): 2-cat from Cat-enriched cat (#25784)
A construction of the canonical strict bicategory structure given a EnrichedCategory Cat C.
From the ∞-cosmos project.
Co-Authored-By: Mario Carneiro marioc@chalmers.se