nLab
Author — Thomas Holder

Overview

Thomas Holder has contributed to 377 nLab pages.

Most recent contributions

codensity monad 13:45:17, October 07 2019
level of a topos 14:53:42, September 30 2019
Gaeta topos 13:53:27, September 30 2019
Aufhebung 13:46:09, September 30 2019
surjective geometric morphism 13:07:20, August 06 2019
Yoneda structure 06:08:53, July 29 2019
Artin gluing 07:12:05, July 12 2019
Boolean topos 06:43:13, July 12 2019
Klaus Heiner Kamps 06:33:40, July 12 2019
dense sub-site 12:26:38, June 21 2019
category theory 15:39:59, May 27 2019
over-topos 08:41:50, May 16 2019
category of presheaves 05:24:06, May 15 2019
music theory 08:44:06, April 26 2019
music theory 17:26:02, April 18 2019
music theory 02:37:45, April 17 2019
Fourier transform 02:35:08, April 17 2019
music theory 10:23:18, April 16 2019
Nullstellensatz 06:46:21, April 09 2019
Yoneda structure 14:32:25, April 01 2019
semicategory 10:39:45, March 26 2019
music theory 06:07:00, March 23 2019
accessible category 04:08:25, February 19 2019
codensity monad 13:59:22, January 29 2019
Isbell duality 05:48:33, January 08 2019
Yoneda structure 05:45:02, January 08 2019
regular logic 03:06:09, December 18 2018
classifying topos for the theory of objects 13:22:13, November 27 2018
theory of objects 10:10:43, November 27 2018
(geometric surjection, embedding) factorization system 09:50:32, November 27 2018

All pages contributed to