Identity Types Articles

Page 1 of 1 (1 article)

10/18/2025 • EN

Explores advanced categorical modeling of identity types in homotopy type theory, focusing on fibrations, cofibrations, and path objects.

Categorical Model Dependent Types Fibrations Homotopy Type Theory Identity Types

Select Language