Pierre Cagne has contributed to 5 nLab pages.
fibration of points | 15:41:54, August 04 2017 |
internal category in a monoidal category | 14:41:41, March 30 2017 |
propositions as types | 16:45:13, March 08 2017 |
commutative monoid in a symmetric monoidal category | 10:14:59, March 27 2015 |
Lawvere theory | 09:57:51, February 03 2015 |