• DML-CZ Home

Author: Riehl, Emily

• Riehl, Emily; Verity, Dominic: Infinity category theory from scratch. (English). Higher Structures, vol. 4 (2020), issue 1, pp. 115-167
• Riehl, Emily; Verity, Dominic: The comprehension construction. (English). Higher Structures, vol. 2 (2018), issue 1, pp. 116-190
• Riehl, Emily; Shulman, Michael: A type theory for synthetic $\infty$-categories. (English). Higher Structures, vol. 1 (2017), issue 1, pp. 147-224