Samuel Mimram has contributed to 20 nLab pages.
| model structure on functors | 18:58:59, January 19 2026 |
| weak homotopy equivalence | 07:48:25, September 15 2025 |
| homeomorphism | 07:49:24, August 04 2025 |
| Warsaw circle | 07:47:05, August 04 2025 |
| Marco Grandis | 09:33:00, July 13 2025 |
| n-image | 09:06:20, July 13 2025 |
| coherence and strictification for monoidal categories | 11:29:38, January 27 2023 |
| James construction | 12:28:41, December 12 2022 |
| Initiality Project | 08:42:08, September 27 2018 |
| simplicial homology | 13:01:51, September 03 2018 |
| model structure on semi-simplicial sets | 08:43:09, August 27 2018 |
| excisive (∞,1)-functor | 10:16:13, July 24 2018 |
| flat (infinity,1)-functor | 10:23:29, July 23 2018 |
| essentially algebraic theory | 15:32:30, November 16 2017 |
| derived functor | 10:24:26, November 14 2017 |
| cellular set | 14:51:30, October 03 2017 |
| homotopy in a model category | 07:18:07, September 22 2017 |
| fully faithful (infinity,1)-functor | 07:43:35, September 20 2017 |
| computad | 12:35:57, September 04 2017 |
| dependent type theory | 08:24:43, October 06 2016 |