nLab
Author — David Corfield

Overview

David Corfield has contributed to 2029 nLab pages.

Most recent contributions

M-theory 10:04:17, February 22 2020
brane 08:40:34, February 21 2020
higher category theory 03:19:20, February 21 2020
disjunction 10:22:50, February 20 2020
small instanton 15:28:51, February 19 2020
small instanton 13:06:36, February 19 2020
polynomial (∞,1)-functor 08:49:38, February 19 2020
IKKT matrix model 03:17:44, February 19 2020
perverse sheaf 03:48:10, February 18 2020
type theory 11:38:28, February 15 2020
Gilbert Ryle 06:31:30, February 12 2020
Critique of Pure Reason 06:21:28, February 12 2020
Dp-D(p+4)-brane bound state 06:16:26, February 12 2020
Dp-D(p+2)-brane bound state 06:14:07, February 12 2020
K-theory classification of topological phases of matter 06:11:21, February 12 2020
mathematics presented in homotopy type theory 15:01:46, February 10 2020
graded monad 12:42:46, February 08 2020
naturalness 03:30:19, February 05 2020
graded monad 10:06:28, February 01 2020
modal type theory 08:04:04, January 31 2020
William Lawvere 08:03:05, January 31 2020
stuff, structure, property 08:11:12, January 30 2020
optic (in computer science) 03:15:31, January 30 2020
functoriality of categories of presheaves 04:54:27, January 29 2020
M-brane 3-algebra 03:58:37, January 29 2020
linear type theory 09:09:07, January 28 2020
framed manifold 04:21:13, January 28 2020
Duff interview at M-Theory-Mathematics 2020 06:18:45, January 27 2020
lens (in computer science) 08:36:15, January 23 2020
quantization of Yang-Mills theory 05:21:13, January 23 2020

All pages contributed to