Author — A in nLab
Overview
A? has contributed to 11 nLab pages.
Most recent contributions
| Sandbox | 15:52:21, September 01 2024 |
| decidable object | 12:57:56, July 31 2023 |
| pretopos | 12:55:20, July 31 2023 |
| decidable equality | 12:54:34, July 31 2023 |
| local ring | 03:19:23, July 31 2023 |
| smooth map | 22:22:06, June 18 2023 |
| reduced ring | 21:46:36, June 18 2023 |
| bracket type | 14:22:20, June 18 2023 |
| propositions as types | 13:29:19, June 17 2023 |
| propositions as some types | 00:09:59, June 17 2023 |
| propositions as types | 00:08:17, June 17 2023 |
| bracket type | 23:48:00, June 16 2023 |
| setoid | 23:14:43, June 16 2023 |