Topics:
- tangent space of power object in smooth sets (4 messages, latest: May 07 2024 at 10:44)
- Type Theory (1 message, latest: May 05 2024 at 12:07)
- a lemma on the joins of measurable functions (30 messages, latest: May 04 2024 at 03:38)
- Categorifying the modularity theorem (3 messages, latest: Apr 21 2024 at 11:50)
- schemes over Q and their models over Z (121 messages, latest: Apr 19 2024 at 09:13)
- Basic topology (23 messages, latest: Apr 15 2024 at 02:06)
- Galois representations (31 messages, latest: Apr 14 2024 at 14:03)
- Some thoughts on dodecaphonic (12-tone) music (10 messages, latest: Apr 09 2024 at 19:25)
- elliptic curve examples (86 messages, latest: Apr 02 2024 at 18:33)
- Categorical understanding of subdivision (14 messages, latest: Mar 31 2024 at 13:35)
- Derived triangular bialgebras (2 messages, latest: Mar 20 2024 at 00:09)
- How often does the law of excluded middle hold? (28 messages, latest: Mar 07 2024 at 01:19)
- Prüfer rings are coherent (7 messages, latest: Feb 12 2024 at 23:47)
- Metrizability for generalized metric spaces (13 messages, latest: Dec 16 2023 at 16:31)
- Metrizability for genetralized metric spaces (7 messages, latest: Dec 16 2023 at 11:42)
- relating left and right actions (3 messages, latest: Nov 29 2023 at 09:46)
- Quillen-Suslin with infinitely many variables (17 messages, latest: Nov 06 2023 at 17:49)
- stream events (1 message, latest: Oct 31 2023 at 11:03)
- Why Quillen adjunctions? (3 messages, latest: Oct 30 2023 at 00:52)
- Computer calculations with presheaves (92 messages, latest: Oct 29 2023 at 18:24)
- GATs with dependent contexts (5 messages, latest: Oct 26 2023 at 15:57)
- Reference for Subcanonical Sites? (4 messages, latest: Oct 22 2023 at 11:46)