Ali Caglayan has contributed to 43 nLab pages.
formalized libraries of homotopy type theory | 13:32:18, March 07 2024 |
open problems in homotopy type theory | 03:56:00, February 21 2024 |
spectral sequences in homotopy type theory | 13:48:53, January 01 2024 |
p-adic homotopy theory | 13:19:35, August 23 2021 |
opetopic omega-category | 10:27:55, July 26 2020 |
circle n-group | 18:32:14, November 21 2019 |
Sullivan model | 16:27:42, May 10 2019 |
Spin(9)/Spin(7) is the 15-sphere | 14:33:35, April 25 2019 |
topological modular form | 14:22:11, April 06 2019 |
(infinity,1)-category | 16:33:39, April 03 2019 |
Arf-Kervaire invariant problem | 23:20:46, March 24 2019 |
Arf-Kervaire invariant problem | 12:52:09, March 24 2019 |
semi-left-exact reflection | 00:33:30, January 15 2019 |
Sandbox | 11:19:35, January 14 2019 |
piecewise-linear manifold | 17:08:49, January 06 2019 |
monad | 19:47:10, December 25 2018 |
monad | 17:53:01, December 25 2018 |
monad | 16:24:46, December 25 2018 |
Initiality Project - Semantics | 13:26:33, December 22 2018 |
Initiality Project - Semantics | 00:21:20, December 22 2018 |
quotient stack | 22:49:38, December 19 2018 |
quotient stack | 22:47:42, December 19 2018 |
Initiality Project | 01:18:51, December 15 2018 |
Initiality Project - Raw Syntax | 18:00:21, December 05 2018 |
Initiality Project | 16:07:24, December 02 2018 |
Initiality Project | 10:00:11, November 29 2018 |
Initiality Project - Type Theory - Pi-types | 09:51:13, November 29 2018 |
signature (in logic) | 11:39:31, November 16 2018 |
Initiality Project - Term Model - Pi-types | 07:30:59, November 08 2018 |
Initiality Project - References | 00:13:54, October 31 2018 |