Peter Selinger has contributed to 5 nLab pages.
distributive monoidal category | 00:48:29, February 08 2024 |
FOLDS | 02:37:04, November 03 2014 |
category with duals | 10:30:00, August 31 2014 |
principle of equivalence | 10:29:49, August 31 2014 |
Peter Selinger | 10:29:49, August 31 2014 |