nLab
Author — Todd Trimble

Overview

Todd Trimble has contributed to 1141 nLab pages.

Most recent contributions

topological vector bundle 04:50:12, February 14 2019
linear extension of a partial order 20:24:08, January 27 2019
linear extension of a partial order 19:37:28, January 27 2019
linear extension of a partial order 12:26:34, January 27 2019
general relativity 05:22:55, January 15 2019
torsor 09:21:10, January 09 2019
Todd Trimble 08:57:31, December 31 2018
cyclic permutation 07:03:55, December 31 2018
relational beta-module 10:04:20, November 22 2018
bound state 09:24:17, November 17 2018
quark-gluon plasma 09:16:22, November 17 2018
plasma 09:12:44, November 17 2018
RHIC 09:11:28, November 17 2018
signature (in logic) 08:37:24, November 17 2018
signature (in logic) 10:15:09, November 16 2018
categorical model of dependent types 12:46:50, November 12 2018
lattice 09:31:33, November 12 2018
idempotent semiring 00:42:01, November 12 2018
Fulton-MacPherson operad 12:37:13, November 10 2018
Fulton-MacPherson operad 12:00:34, November 10 2018
James construction 13:00:21, October 28 2018
symmetric group 09:55:55, October 28 2018
perfect group 09:39:52, October 28 2018
perfect group 23:24:22, October 27 2018
perfect group 20:47:49, October 27 2018
perfect group 14:22:13, October 27 2018
perfect group 13:11:00, October 27 2018
Initiality Project - Type Theory - Pi-types 16:54:24, October 26 2018
K3 surface 08:38:35, October 26 2018
Max Kelly 21:14:28, October 21 2018

All pages contributed to