Evan Patterson has contributed to 23 nLab pages.
| shape | 00:02:01, July 12 2025 |
| modal type theory | 18:39:12, June 14 2025 |
| monoidal preorder | 10:10:48, June 09 2025 |
| final functor | 05:51:56, May 07 2025 |
| 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 |