GitHub repository: measure00/categories-equivalences
Created: 2023-01-12T00:17:05Z
Description: Equivalences in higher category theory context