nLab Author — Todd Trimble

Overview

Todd Trimble has contributed to 1268 nLab pages.

Most recent contributions

Stiefel manifold 00:27:23, May 31 2023
multifunctor 18:30:02, May 30 2023
countably compact topological space 01:48:56, May 30 2023
Stiefel manifold 22:57:44, May 29 2023
compact object 21:44:01, May 29 2023
Stiefel manifold 21:40:39, May 29 2023
Day's reflection theorem 23:26:15, May 28 2023
power series 20:20:09, May 28 2023
compactly generated topological space 19:38:53, May 28 2023
compactly generated topological space 18:51:28, May 28 2023
one-point compactification 18:05:14, May 28 2023
bimodule 12:45:46, May 28 2023
power series 12:54:16, May 27 2023
chain rule 21:21:25, May 26 2023
power series 21:20:29, May 26 2023
coinduction 21:11:03, May 26 2023
power series 19:54:03, May 26 2023
Harry Appelgate 18:12:56, May 26 2023
cyclic set 15:12:25, May 26 2023
terminal geometric morphism 14:05:01, May 26 2023
enriched monoidal category 13:05:54, May 26 2023
implicative structure 12:34:35, May 26 2023
Day's reflection theorem 11:34:23, May 26 2023
exponential ideal 04:47:25, May 26 2023
Day's reflection theorem 04:42:26, May 26 2023
adjoint functor theorem 19:46:33, May 25 2023
topological space 18:03:10, May 25 2023
topology -- references 10:52:57, May 25 2023
topological space 10:51:43, May 25 2023
topology 10:48:39, May 25 2023

All pages contributed to