#
nLab
Author — Felix Cherubini

### Overview

Felix Cherubini has contributed to 13 nLab pages.

### Most recent contributions

differential forms in synthetic differential geometry |
07:54:30, August 22 2023 |

arc space |
12:37:14, July 05 2023 |

synthetic differential topology |
14:40:43, July 26 2022 |

super homotopy type theory |
14:40:04, July 26 2022 |

super homotopy theory |
14:39:32, July 26 2022 |

motivic homotopy theory |
14:38:45, July 26 2022 |

modal type theory |
14:33:47, July 26 2022 |

logical topology |
14:26:43, July 26 2022 |

homotopy type theory events |
14:25:38, July 26 2022 |

Snaith theorem |
14:24:19, July 26 2022 |

Peter Arndt |
14:23:15, July 26 2022 |

Felix Cherubini |
09:32:09, April 17 2020 |

infinitesimal extension |
08:24:42, March 27 2020 |

Felix Cherubini |
09:03:33, November 22 2019 |

### All pages contributed to