Tom Hirschowitz has contributed to 14 nLab pages.

codensity monad | 05:09:19, July 01 2021 |

final functor | 13:05:11, September 27 2018 |

locally convex topological vector space | 13:20:52, July 18 2018 |

parallel transport | 08:48:25, May 18 2018 |

Grothendieck construction | 09:54:18, April 11 2018 |

wide subcategory | 08:56:28, July 20 2017 |

Kleisli category | 10:33:07, August 31 2014 |

relation between type theory and category theory | 10:32:36, August 31 2014 |

exact square | 10:31:58, August 31 2014 |

exact square | 10:31:58, August 31 2014 |

interval object | 10:29:41, August 31 2014 |

fibration in a 2-category | 10:29:29, August 31 2014 |

empty 206 | 10:29:29, August 31 2014 |

fibration in a 2-category | 10:29:29, August 31 2014 |

Grothendieck fibration | 10:29:29, August 31 2014 |

Tom Hirschowitz | 10:29:29, August 31 2014 |

fibration in a 2-category | 10:29:29, August 31 2014 |

Grothendieck fibration | 10:29:29, August 31 2014 |

- codensity monad
- empty 206
- exact square
- fibration in a 2-category
- final functor
- Grothendieck construction
- Grothendieck fibration
- interval object
- Kleisli category
- locally convex topological vector space
- parallel transport
- relation between type theory and category theory
- Tom Hirschowitz
- wide subcategory