nLab Author — Peter Selinger

Redirected from "heterogeneous identity types".

Overview

Peter Selinger has contributed to 5 nLab pages.

Most recent contributions

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

All pages contributed to