Samuel Mimram has contributed to 14 nLab pages.
| 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 |