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 |