Thomas Holder has contributed to 449 nLab pages.
| symmetric set | 11:58:13, March 09 2024 |
| adjoint triangle theorem | 12:34:47, March 07 2024 |
| adjoint triangle theorem | 11:58:20, March 07 2024 |
| ETCC | 10:33:19, March 07 2024 |
| subobject classifier | 13:54:06, March 06 2024 |
| conservative functor | 12:59:46, March 06 2024 |
| symmetric set | 20:11:17, February 12 2024 |
| crossed group | 15:14:06, January 27 2024 |
| Clara Löh | 12:36:44, December 17 2023 |
| kinship | 10:32:50, November 26 2023 |
| Category Theory conference | 14:22:14, August 27 2023 |
| codensity monad | 12:45:27, August 26 2023 |
| codensity monad | 18:14:10, August 13 2023 |
| Eilenberg-Moore category | 11:05:51, August 13 2023 |
| William Lawvere | 13:31:39, August 11 2023 |
| codensity monad | 13:12:38, August 11 2023 |
| Myles Tierney | 11:53:05, August 11 2023 |
| Aufhebung | 09:09:08, August 10 2023 |
| codensity monad | 13:01:40, August 09 2023 |
| Moritz Hauptmann | 16:15:01, July 31 2023 |
| music theory | 15:04:14, July 31 2023 |
| pretopos | 14:10:13, June 07 2023 |
| quaternionic set | 12:07:21, April 30 2023 |
| quaternionic set | 17:12:55, April 27 2023 |
| quaternionic set | 15:15:48, April 27 2023 |
| cyclic category | 15:36:58, April 25 2023 |
| quaternionic set | 15:28:28, April 25 2023 |
| quaternionic set | 13:04:52, April 25 2023 |
| étendue | 13:00:00, April 25 2023 |
| crystalline site | 18:25:33, April 23 2023 |