nLab Author — Ali Caglayan

Overview

Ali Caglayan has contributed to 43 nLab pages.

Most recent contributions

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

All pages contributed to