Yuxi Liu has contributed to 19 nLab pages.
canonical formula of myth | 00:39:59, July 11 2020 |
walking adjoint equivalence | 00:22:55, July 05 2020 |
walking equivalence | 00:08:15, July 05 2020 |
walking equivalence | 05:07:12, July 04 2020 |
walking isomorphism | 05:07:10, July 04 2020 |
Ab | 03:34:19, July 04 2020 |
tensor product of abelian groups | 03:32:06, July 04 2020 |
Sandbox | 10:58:39, July 03 2020 |
geometric realization | 10:23:00, July 03 2020 |
simplex category | 00:47:18, July 03 2020 |
simplex category | 11:08:45, July 02 2020 |
Reedy category | 05:31:06, July 02 2020 |
Reedy category | 21:57:22, July 01 2020 |
core | 21:30:34, July 01 2020 |
wide subcategory | 21:29:37, July 01 2020 |
thin category | 21:11:15, July 01 2020 |
direct category | 20:52:05, July 01 2020 |
(0,1)-category | 20:42:06, July 01 2020 |
motivation for higher differential geometry | 10:59:59, July 01 2020 |
space and quantity | 04:26:56, July 01 2020 |
Yuxi Liu | 09:05:04, June 28 2020 |
Eckmann-Hilton argument | 08:58:29, June 28 2020 |