E-LIB Suche - Ergebnisse für: Riehl, Emily

1

Formalizing the ∞-Categorical Yoneda Lemma:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Kudasov, Nikolai ; Riehl, Emily ; Weinberger, Jonathan - p. 274-290 , 2024

Link: https://dl.acm.org/doi/1..

2

On the ∞$\infty$‐topos semantics of homotopy type theory:

Riehl, Emily
Bulletin of the London Mathematical Society. 56 (2024) 2 - p. 461-517 , 2024

Link: https://doi.org/10.1112/..

3

A 2-categorical proof of Frobenius for fibrations defined f..:

Hazratpour, Sina ; Riehl, Emily
Mathematical Structures in Computer Science. , 2024

Link: https://doi.org/10.1017/..

4

A Synthetic Perspective on (∞,1)-Category Theory: Fibration..:

Weinberger, Jonathan , 2022

Link: https://nbn-resolving.de..

5

On $$\infty $$-Cosmoi of Bicategories:

Riehl, Emily ; Wattal, Mira
La Matematica. 1 (2022) 4 - p. 740-764 , 2022

Link: https://doi.org/10.1007/..

6

Recognizing Quasi-Categorical Limits and Colimits in Homoto..:

Riehl, Emily ; Verity, Dominic
Applied Categorical Structures. 28 (2020) 4 - p. 669-716 , 2020

Link: https://doi.org/10.1007/..

7

Categorical notions of fibration:

Loregian, Fosco ; Riehl, Emily
Expositiones Mathematicae. 38 (2020) 4 - p. 496-514 , 2020

Link: https://doi.org/10.1016/..

8

Lifting accessible model structures:

Garner, Richard ; Kędziorek, Magdalena ; Riehl, Emily
Journal of Topology. 13 (2019) 1 - p. 59-76 , 2019

Link: https://doi.org/10.1112/..

9

Directional derivatives and higher order chain rules for ab..:

Bauer, Kristine ; Johnson, Brenda ; Osborne, Christina..
Topology and its Applications. 235 (2018) - p. 375-427 , 2018

Link: https://doi.org/10.1016/..

10

A necessary and sufficient condition for induced model stru..:

Hess, Kathryn ; Kȩdziorek, Magdalena ; Riehl, Emily.
Journal of Topology. 10 (2017) 2 - p. 324-369 , 2017

Link: https://doi.org/10.1112/..

11

Fibrations and Yoneda's lemma in an ∞-cosmos:

Riehl, Emily ; Verity, Dominic
Journal of Pure and Applied Algebra. 221 (2017) 3 - p. 499-564 , 2017

Link: https://doi.org/10.1016/..

12

Homotopy coherent adjunctions and the formal theory of mona..:

Riehl, Emily ; Verity, Dominic
Advances in Mathematics. 286 (2016) - p. 802-888 , 2016

Link: https://doi.org/10.1016/..

13

The 2-category theory of quasi-categories:

Riehl, Emily ; Verity, Dominic
Advances in Mathematics. 280 (2015) - p. 549-642 , 2015

Link: https://doi.org/10.1016/..

14

Categorical Homotopy Theory

New Mathematical Monographs, v. 24

Riehl, Emily , 2014

Link: https://search.ebscohost..

15

A COMPARISON OF NORM MAPS:

BOHMANN, ANNA MARIE ; RIEHL, EMILY
Proceedings of the American Mathematical Society. 142 (2014) 4 - p. 1413-1423 , 2014

Link: https://www.jstor.org/st..