Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: practice: software

Topics:

• n-category cafe (59 messages, latest: Oct 08 2024 at 04:36)
• CatColab (3 messages, latest: Oct 04 2024 at 08:45)
• 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)
• formalizations of categories (26 messages, latest: Sep 23 2021 at 13:32)
• 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)
• discussion: quiver (23 messages, latest: Dec 16 2020 at 02:42)
• 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)