Emily Riehl has contributed to 44 nLab pages.

(infinity,1)-category | 17:23:11, August 31 2021 |

infinity-cosmos | 17:20:59, August 31 2021 |

mate | 22:54:19, September 04 2020 |

absolute pushout | 22:00:53, May 18 2020 |

accessible category | 22:11:41, July 29 2019 |

absolute pushout | 12:57:26, June 10 2019 |

infinity-cosmos | 05:30:13, May 23 2017 |

cosmos | 05:11:41, May 23 2017 |

Emily Riehl | 04:54:53, May 23 2017 |

John Elias Roberts | 22:33:48, October 10 2015 |

Emily Riehl | 20:45:16, August 12 2015 |

John Bourke | 17:29:54, March 18 2015 |

algebraic weak factorization system | 17:28:49, March 18 2015 |

adjoint functor theorem | 10:32:53, August 31 2014 |

adjoint functor theorem | 10:32:53, August 31 2014 |

partial function | 10:32:51, August 31 2014 |

monadic adjunction | 10:32:50, August 31 2014 |

(infinity,1)-category | 10:32:46, August 31 2014 |

weighted colimit | 10:32:24, August 31 2014 |

locally bounded category | 10:32:07, August 31 2014 |

locally presentable category | 10:32:07, August 31 2014 |

algebraic model category | 10:32:00, August 31 2014 |

algebraic weak factorization system | 10:31:59, August 31 2014 |

free monad | 10:31:59, August 31 2014 |

canonical model structure on Cat | 10:31:59, August 31 2014 |

computad | 10:31:59, August 31 2014 |

factorization system | 10:31:59, August 31 2014 |

factorization system | 10:31:59, August 31 2014 |

small object argument | 10:31:59, August 31 2014 |

doctrinal adjunction | 10:31:59, August 31 2014 |

- (infinity,1)-category
- (infinity,1)-Grothendieck construction
- absolute pushout
- accessible category
- adjoint functor theorem
- algebraic model category
- algebraic weak factorization system
- canonical model structure on Cat
- codiscrete cofibration
- comma object
- complicial set
- computad
- cosmos
- dendroidal set
- directed topological space
- doctrinal adjunction
- double category
- Emily Riehl
- factorization system
- fibration in a 2-category
- final functor
- free monad
- Grothendieck fibration
- infinity-cosmos
- John Bourke
- John Elias Roberts
- locally bounded category
- locally presentable category
- marked simplicial set > history
- mate
- model category
- model structure on simplicial sets
- model structure on topological spaces
- monadic adjunction
- monadicity theorem
- partial function
- pullback-stable colimit
- Quillen bifunctor
- simplicial category
- simplicial set
- small object argument
- stratified simplicial set
- weak factorization system
- weighted colimit