Topics:
- discussion: quiver (31 messages, latest: Oct 24 2025 at 05:14)
- How do you create ologs? (22 messages, latest: Sep 03 2025 at 20:13)
- category theory digest (17 messages, latest: Aug 01 2025 at 22:25)
- CatColab (99 messages, latest: Jul 31 2025 at 17:09)
- q.uiver.app vs arrowgram — summoning Arkor @CT2025 (8 messages, latest: Jul 20 2025 at 08:18)
- Computer algebra (7 messages, latest: Jun 08 2025 at 17:48)
- Typesetting Composition in Double Categories (12 messages, latest: Jun 05 2025 at 09:03)
- Tools for drawing large diagrams (14 messages, latest: May 30 2025 at 00:26)
- formalizations of categories (31 messages, latest: Mar 12 2025 at 16:45)
- Separation Logic and Vectorization (1 message, latest: Mar 04 2025 at 00:40)
- ✔ Monoidal Categories in Catlab (1 message, latest: Feb 23 2025 at 22:31)
- Monoidal Categories in Catlab (17 messages, latest: Feb 17 2025 at 13:12)
- n-category cafe (59 messages, latest: Oct 08 2024 at 04:36)
- CQL (8 messages, latest: Aug 17 2024 at 12:10)
- 3D commutative diagrams (6 messages, latest: Aug 16 2024 at 08:59)
- Drawing diagrams (32 messages, latest: Jul 17 2024 at 13:51)
- Every rig category is rig equivalent to a bipermutative cat (1 message, latest: May 08 2024 at 01:49)
- Discussion: ML/NN and ACT (14 messages, latest: Apr 22 2024 at 12:27)
- Combinatorially Generating Diagrams (13 messages, latest: Apr 12 2024 at 18:10)
- Some Guidance on Modeling a Software System (45 messages, latest: Apr 12 2024 at 13:38)
- "Build your own Stacks Project in 10 minutes" - Forester (2 messages, latest: Apr 12 2024 at 02:39)
- Categorica (3 messages, latest: Mar 30 2024 at 23:50)
- Introducing me and Bewl, a topos theory DSL (31 messages, latest: Mar 19 2024 at 00:42)
- Automated proving? (33 messages, latest: Jan 08 2024 at 17:38)
- object orientation optics and coinduction (1 message, latest: Oct 30 2023 at 07:03)
- stream events (4 messages, latest: Oct 20 2023 at 15:16)
- formalization of double categories (8 messages, latest: Jul 21 2023 at 20:35)
- A tool for learning TikZ (1 message, latest: Nov 10 2022 at 05:40)
- ✔ limits latex (4 messages, latest: Feb 28 2022 at 14:49)
- tools for diagrams (160 messages, latest: Dec 29 2021 at 17:08)
- implementing categories (51 messages, latest: Aug 19 2021 at 15:42)
- Reverse image search for categories (6 messages, latest: Mar 23 2021 at 20:12)
- Metatheory.jl (43 messages, latest: Mar 21 2021 at 16:28)
- Nix/NixOS (16 messages, latest: Mar 16 2021 at 08:45)
- Process.io stream (1 message, latest: Dec 08 2020 at 10:27)
- quiver: a modern commutative diagram editor (1 message, latest: Nov 30 2020 at 13:49)
- category theory software (9 messages, latest: Nov 15 2020 at 16:45)
- agda-categories's -2 categories (11 messages, latest: Oct 26 2020 at 16:00)
- Future of Software Development (21 messages, latest: Oct 19 2020 at 14:37)
- Quantum Blocks (4 messages, latest: Jul 17 2020 at 15:55)
- tikz examples (24 messages, latest: May 15 2020 at 06:54)
- Catlab.jl (34 messages, latest: May 11 2020 at 21:06)
- making diagrams (2 messages, latest: May 08 2020 at 19:38)
- Differentiating Regex (51 messages, latest: Apr 18 2020 at 06:10)
- jscategory (2 messages, latest: Apr 14 2020 at 02:11)
- Introduction (8 messages, latest: Mar 24 2020 at 17:58)
- idris-ct (1 message, latest: Mar 24 2020 at 13:24)
