Constructive category theory

By G. Huet, Amokrane Saïbi. 2000

73 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics

Citations in the corpus

• Heterogeneous substitution systems revisited (2016, neutral): “…and categories as considered in [7]: in intensional type theory, categories are usually defined to come with a custom equivalence relation on the types of morphisms, which is to be read as equality relation on morphisms, specified for each category individually (see, e.g., [20], [6, Chapter 6]).”