Riehl, Emily On the \(\infty\)-topos semantics of homotopy type theory. (English) Zbl 1533.18019 Bull. Lond. Math. Soc. 56, No. 2, 461-517 (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N40 18N45 18N60 03B38 55U10 55U40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO
Riehl, Emily; Verity, Dominic Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. (English) Zbl 1456.18003 Appl. Categ. Struct. 28, No. 4, 669-716 (2020). Reviewer: Philippe Gaucher (Paris) MSC: 18A30 18G99 55U35 55U40 18A05 55U10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Riehl, Emily; Verity, Dominic The comprehension construction. (English) Zbl 1409.18021 High. Struct. 2, No. 1, 116-190 (2018). Reviewer: Philippe Gaucher (Paris) MSC: 18G55 55U35 × Cite Format Result Cite Review PDF Full Text: arXiv
Riehl, Emily; Verity, Dominic Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. (English) Zbl 1378.18007 J. Pure Appl. Algebra 221, No. 3, 499-564 (2017). Reviewer: Ross H. Street (North Ryde) MSC: 18D05 18D20 18D30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Riehl, Emily; Verity, Dominic Homotopy coherent adjunctions and the formal theory of monads. (English) Zbl 1329.18020 Adv. Math. 286, 802-888 (2016). Reviewer: Philippe Gaucher (Paris) MSC: 18G55 55U35 55U40 18A40 18D20 18G30 55U10 18D35 18F99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Riehl, Emily; Verity, Dominic The 2-category theory of quasi-categories. (English) Zbl 1319.18005 Adv. Math. 280, 549-642 (2015). Reviewer: Antonio R. Garzón (Granada) MSC: 18G55 55U35 55U40 18A05 18D20 18G30 55U10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Blumberg, Andrew J.; Riehl, Emily Homotopical resolutions associated to deformable adjunctions. (English) Zbl 1317.55009 Algebr. Geom. Topol. 14, No. 5, 3021-3048 (2014). Reviewer: Jiří Rosický (Brno) MSC: 55U35 18G55 18G10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Riehl, Emily On the structure of simplicial categories associated to quasi-categories. (English) Zbl 1232.18014 Math. Proc. Camb. Philos. Soc. 150, No. 3, 489-504 (2011). Reviewer: Timothy Porter (Bangor) MSC: 18G30 55U35 18D20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv