nLab Author — Aaron David Fairbanks

Overview

Aaron David Fairbanks has contributed to 8 nLab pages.

Most recent contributions

Aaron David Fairbanks 03:05:41, May 08 2026
double category 02:46:49, May 08 2026
colimits in categories of algebras 04:42:28, August 17 2025
introspective theory 05:44:33, October 07 2024
introspective theory 01:55:54, October 06 2024
introspective theory 20:52:40, October 05 2024
incompleteness theorem 18:50:04, October 05 2024
Löb's theorem 18:49:29, October 05 2024
monoidal functor 05:24:41, March 27 2024
monoidal category 04:24:19, March 27 2024

All pages contributed to