On strict (2,1)-categories in the guise of Grpd-enriched categories, motivated from the homotopy 2-category of topological spaces:
Created on August 30, 2021 at 13:27:03. See the history of this page for a list of all contributions to it.