Colimits in Homotopy TypeColimits in Homotopy TypeTheoryconnections in mathematical structures.Examining colimits reveals deepLogic in Computer ScienceConnecting Shapes: The Role of ColimitsA friendly exploration of colimits and their connections in homotopy type theory.2025-05-05T06:42:36+00:00 ― 5 min read