nLab
Author — Thomas Holder

Overview

Thomas Holder has contributed to 388 nLab pages.

Most recent contributions

classifying topos 09:47:22, May 26 2020
theory of decidable objects 09:40:58, May 26 2020
theory of objects 13:44:05, May 24 2020
empty graph 13:41:43, May 24 2020
theory of objects 05:33:02, May 24 2020
Peano arithmetic 08:45:13, May 23 2020
empty graph 14:15:31, May 22 2020
ETCC 13:43:55, May 19 2020
arithmetic pretopos 13:27:00, May 19 2020
localic topos 06:36:21, May 19 2020
geometric theory 05:14:01, May 19 2020
localic topos 04:23:09, May 19 2020
localic topos 16:11:18, May 18 2020
localic topos 08:27:59, May 18 2020
ETCC 14:01:28, May 17 2020
classifying topos 04:54:17, May 14 2020
theory of flat functors 04:43:19, May 14 2020
geometric theory 04:08:00, May 14 2020
theory of flat functors 16:09:53, May 13 2020
theory of flat functors 15:25:59, May 13 2020
theory of flat functors 14:48:47, May 13 2020
theory of flat functors 10:42:15, May 13 2020
Sandbox 09:51:19, May 13 2020
flat functor 08:03:37, May 13 2020
Barr's theorem 10:33:35, May 09 2020
incompleteness theorem 09:41:06, April 23 2020
arithmetic pretopos 09:40:20, April 23 2020
incompleteness theorem 08:34:47, April 23 2020
arithmetic pretopos 08:29:23, April 23 2020
cosheaf 04:14:29, April 19 2020

All pages contributed to