nLab
Author — David Corfield

Overview

David Corfield has contributed to 1918 nLab pages.

Most recent contributions

Charles Sanders Peirce 14:36:45, August 17 2019
enriched monad 07:00:53, August 15 2019
monad (in linguistics) 09:03:20, August 14 2019
AdS-QCD correspondence 07:46:36, August 12 2019
continuous logic 05:27:09, August 12 2019
logos 04:40:27, August 12 2019
Moonshine 07:14:00, August 10 2019
analytic versus synthetic 10:30:12, August 09 2019
quantaloid 17:29:37, August 08 2019
graded monad 12:01:33, August 08 2019
Makkai duality 06:08:40, August 08 2019
Makkai duality 04:53:03, August 07 2019
syntax-semantics duality 04:52:18, August 07 2019
Michael Makkai 04:41:23, August 07 2019
continuous logic 15:02:26, August 05 2019
Itaï Ben Yaacov 07:38:44, August 05 2019
continuous logic 07:36:56, August 05 2019
Gabriel-Ulmer duality 08:31:05, August 04 2019
complete Heyting algebra 02:22:59, August 02 2019
D=6 N=(2,0) SCFT 14:59:15, July 31 2019
locally finitely presentable category 05:20:48, July 31 2019
order-theoretic structure in quantum mechanics 10:58:04, July 29 2019
Bohr topos 10:44:05, July 29 2019
quantum probability theory 06:00:32, July 29 2019
pretopos 07:54:21, July 26 2019
continuous logic 07:42:21, July 26 2019
Simon Cho 07:41:51, July 26 2019
William Lawvere 04:37:55, July 26 2019
super-embedding formalism 07:31:38, July 25 2019
continuous logic 01:08:10, July 23 2019

All pages contributed to