nLab Author — Todd Trimble

Overview

Todd Trimble has contributed to 1276 nLab pages.

Most recent contributions

base of enrichment 15:02:53, June 01 2023
base of enrichment 15:00:22, June 01 2023
cosmos 14:51:07, June 01 2023
enriched groupoid 14:50:18, June 01 2023
enriched category 14:35:44, June 01 2023
continuous functor 12:57:01, June 01 2023
cosmos 12:32:09, June 01 2023
John Isbell 01:52:49, June 01 2023
locale 01:48:17, June 01 2023
enriched product category 14:09:32, May 31 2023
dominant functor 12:29:47, May 31 2023
full and faithful functor 12:19:15, May 31 2023
initial object 10:08:55, May 31 2023
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

All pages contributed to