Topics:
- stream events (6 messages, latest: Oct 31 2023 at 11:08)
- Papers/Examples on "applied" applied category theory (3 messages, latest: Jun 29 2022 at 23:17)
- linear logic as internal logic (10 messages, latest: Jun 18 2022 at 17:58)
- where to go next? (13 messages, latest: May 27 2022 at 03:31)
- learning homotopy type theory (6 messages, latest: May 08 2022 at 13:44)
- smooth sets (17 messages, latest: Feb 07 2022 at 02:40)
- categories in computer science (1 message, latest: Jan 26 2022 at 18:28)
- Higher dimensional rewriting (7 messages, latest: Jan 25 2022 at 08:15)
- Global space-time structure (5 messages, latest: Dec 15 2021 at 07:14)
- application of sheaves in algebraic topology (19 messages, latest: Oct 27 2021 at 21:13)
- choosing a license for arXiv (83 messages, latest: Oct 14 2021 at 05:12)
- ct lego? (16 messages, latest: Jul 25 2021 at 13:59)
- Decentralisation (13 messages, latest: Apr 25 2021 at 20:39)
- basic double categories (7 messages, latest: Jan 03 2021 at 23:14)
- a basic category theory course (1 message, latest: Dec 04 2020 at 23:09)
- TAC Reprints (4 messages, latest: Sep 03 2020 at 22:39)
- Linear algebra in Vect (69 messages, latest: Aug 14 2020 at 15:08)
- Sketches of an Elephant (18 messages, latest: Jul 31 2020 at 17:51)
- equalities and choice principles (10 messages, latest: Jul 31 2020 at 16:50)
- Kan extensions (4 messages, latest: Jul 30 2020 at 17:49)
- Functional Analysis (15 messages, latest: Jul 08 2020 at 12:07)
- QFT (169 messages, latest: Jun 26 2020 at 20:56)
- intuitive explanation of Yoneda lemma (41 messages, latest: Jun 21 2020 at 00:38)
- recent theses in CT (10 messages, latest: May 05 2020 at 23:52)
- Programming Language Semantics (23 messages, latest: Apr 28 2020 at 10:45)
- string diagrams (22 messages, latest: Apr 11 2020 at 21:49)
