nLab Author — Samuel Mimram

Overview

Samuel Mimram has contributed to 12 nLab pages.

Most recent contributions

Initiality Project 04:42:08, September 27 2018
simplicial homology 09:01:51, September 03 2018
model structure on semi-simplicial sets 04:43:09, August 27 2018
excisive (∞,1)-functor 06:16:13, July 24 2018
flat (infinity,1)-functor 06:23:29, July 23 2018
essentially algebraic theory 10:32:30, November 16 2017
derived functor 05:24:26, November 14 2017
cellular set 10:51:30, October 03 2017
homotopy in a model category 03:18:07, September 22 2017
fully faithful (infinity,1)-functor 03:43:35, September 20 2017
computad 08:35:57, September 04 2017
dependent type theory 04:24:43, October 06 2016

All pages contributed to