Evan Patterson has contributed to 19 nLab pages.
algebroid | 07:24:42, January 13 2024 |
arrow (in computer science) | 19:52:30, January 12 2024 |
slice 2-category | 23:12:19, December 22 2023 |
semifunctor | 01:32:46, December 01 2023 |
dagger category | 04:57:35, November 24 2023 |
Grothendieck topos | 18:39:01, November 04 2023 |
enhanced 2-category | 19:09:07, October 21 2023 |
cut rule | 00:50:56, October 17 2023 |
Gray-category | 23:58:39, August 16 2023 |
action of a monoidal category | 00:19:16, July 06 2023 |
relaxed multicategory | 01:54:50, July 03 2023 |
Legendre transformation | 19:09:45, July 02 2023 |
cartesian object | 00:16:16, April 01 2023 |
cartesian object | 03:00:59, March 30 2023 |
cartesian object | 23:14:30, March 29 2023 |
applications of double category theory | 00:07:44, March 22 2023 |
category algebra | 04:57:35, August 16 2020 |
2-Lawvere theory | 02:42:05, August 12 2020 |
Giry monad | 02:05:41, February 10 2019 |
locally compact groupoid | 05:44:25, February 08 2019 |
horizontal categorification | 05:23:20, November 29 2018 |