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: event: Categories for AI

Topics:

• stream events (3 messages, latest: Oct 31 2023 at 10:57)
• part/subobject/monomorphism (2 messages, latest: Oct 23 2023 at 10:37)
• Tom Gebhart: Sheaves for AI (2 messages, latest: May 20 2023 at 09:59)
• David Spivak: Dynamic organizational systems (4 messages, latest: Apr 19 2023 at 14:21)
• Jules Hedges: Introduction to Categorical Cybernetics (3 messages, latest: Mar 20 2023 at 14:16)
• Week 4: Geometric Deep Learning & Naturality (7 messages, latest: Feb 03 2023 at 13:42)
• Guest Lecture 3: Category Theory Inspired by LLMs (3 messages, latest: Dec 12 2022 at 18:37)
• Guest Lecture 1: Neural network layers as parametric spans (8 messages, latest: Nov 25 2022 at 14:29)
• Guest Lecture 2:Causal Model Abstraction & Grounding via Cat (9 messages, latest: Nov 23 2022 at 19:43)
• Cats4AI Feedback Form (1 message, latest: Nov 16 2022 at 15:38)
• Week 5: Monads (16 messages, latest: Nov 09 2022 at 12:26)
• multigraphs (3 messages, latest: Nov 09 2022 at 11:50)
• The simple essence of automatic differentiation (15 messages, latest: Nov 06 2022 at 19:44)
• Week 3: Categorical Dataflow: Lenses and Optics (41 messages, latest: Oct 30 2022 at 19:00)
• Week 4 Logistics (3 messages, latest: Oct 28 2022 at 11:45)
• Coexponential Objects (8 messages, latest: Oct 25 2022 at 21:30)
• Week 2: Essential building blocks: Categories and Functors (46 messages, latest: Oct 19 2022 at 15:43)
• Week 1: Why Category Theory? (38 messages, latest: Oct 17 2022 at 15:09)
• composing (knowledge) graphs (16 messages, latest: Oct 13 2022 at 14:00)
• Welcome! (1 message, latest: Oct 04 2022 at 21:01)