Coraglia, Greta; Emmenegger, Jacopo A 2-categorical analysis of context comprehension. arXiv:2403.03085 Preprint, arXiv:2403.03085 [math.CT] (2024). MSC: 18N45 03B38 18N15 18D70 18C15 × Cite Format Result Cite Full Text: arXiv OA License
Coraglia, Greta; Emmenegger, Jacopo Categorical models of subtyping. arXiv:2312.14600 Preprint, arXiv:2312.14600 [cs.LO] (2023). MSC: 18N45 18A15 03B38 × Cite Format Result Cite Full Text: arXiv OA License
Ahrens, Benedikt; Emmenegger, Jacopo; North, Paige Randall; Rijke, Egbert Algebraic Presentations of Dependent Type Theories. arXiv:2111.09948 Preprint, arXiv:2111.09948 [math.CT] (2021). × Cite Format Result Cite Full Text: arXiv OA License
Emmenegger, Jacopo A category-theoretic version of the identity type weak factorization system. arXiv:1412.0153 Preprint, arXiv:1412.0153 [math.LO] (2014). × Cite Format Result Cite Full Text: arXiv OA License