Anonymous has contributed to 3886 nLab pages.
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 |