nLab Author — Pierre Cagne

Overview

Pierre Cagne has contributed to 5 nLab pages.

Most recent contributions

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

All pages contributed to