nLab Author — Anonymous

Overview

Anonymous has contributed to 3886 nLab pages.

Most recent contributions

marked extensional well-founded order 13:50:23, January 26 2023
well-order 13:20:18, January 26 2023
objective type theory 05:44:00, January 26 2023
objective type theory 03:36:24, January 26 2023
open problems in homotopy type theory 02:08:58, January 26 2023
objective type theory 02:08:16, January 26 2023
objective type theory 01:36:06, January 26 2023
objective type theory 00:14:15, January 26 2023
copy 00:03:23, January 26 2023
equivalence in type theory 00:02:57, January 26 2023
objective type theory 21:27:43, January 25 2023
objective type theory 19:59:15, January 25 2023
axiom of set truncation 19:51:47, January 25 2023
axiom of circle type localization 19:51:35, January 25 2023
axiom of set truncation 18:35:11, January 25 2023
uniqueness of identity proofs 18:33:12, January 25 2023
axiom K (type theory) 18:19:27, January 25 2023
uniqueness of identity proofs 16:32:33, January 25 2023
axiom of circle type localization 16:31:21, January 25 2023
axiom of cohesion 16:30:40, January 25 2023
free group 16:20:56, January 25 2023
axiom of set truncation 16:18:01, January 25 2023
h-set 15:45:45, January 25 2023
free group 15:09:49, January 25 2023
axiom of set truncation 15:06:26, January 25 2023
axiom K (type theory) 14:56:38, January 25 2023
heterogeneous identity type 14:26:32, January 25 2023
axiom of circle type localization 14:01:46, January 25 2023
axiom of set truncation 14:01:21, January 25 2023
axiom K (type theory) 13:28:21, January 25 2023

All pages contributed to