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: community: mailing list mirror

Topics:

• The game of the name: Standard constructions, triples, mo... (11 messages, latest: Nov 09 2023 at 21:11)
• Triples vs Monads (1 message, latest: Nov 09 2023 at 19:14)
• ICALP-LICS-FSCD joint call for workshops (1 message, latest: Nov 08 2023 at 21:22)
• PhD opportunities at the University of Birmingham (1 message, latest: Nov 07 2023 at 19:47)
• Octoberfest 2023 (1 message, latest: Nov 07 2023 at 19:47)
• Thanks for this. (4 messages, latest: Nov 07 2023 at 19:47)
• Bob Rosebrugh & TAC (1 message, latest: Nov 03 2023 at 18:57)
• Defining composition via colimit (3 messages, latest: Nov 03 2023 at 10:29)
• Signing off (8 messages, latest: Nov 01 2023 at 21:37)
• Six Fully-funded PhD Positions in Theoretical Computer Sc... (1 message, latest: Nov 01 2023 at 21:06)
• stream events (7 messages, latest: Nov 01 2023 at 16:42)
• Postdoc in categorical semantics at Cambridge (2 messages, latest: Nov 01 2023 at 10:57)
• Workshop on Fixed Points in Computer Science -- Call for ... (1 message, latest: Oct 31 2023 at 20:20)
• Call for papers and deadline extension for: TYPES 2023 po... (1 message, latest: Oct 31 2023 at 20:16)
• Announcing the (virtual) 9th Mexican Workshop on Applied ... (1 message, latest: Oct 31 2023 at 03:30)
• Higgs object (3 messages, latest: Oct 30 2023 at 10:49)
• Rosanna Cruciani (3 messages, latest: Oct 30 2023 at 10:48)
• Categories vis-a-vis Naturality (13 messages, latest: Oct 30 2023 at 10:48)
• [EXT] Categories vis-a-vis Naturality (2 messages, latest: Oct 29 2023 at 13:51)
• Octoberfest Final Announcement. It's tomorrow. (1 message, latest: Oct 27 2023 at 19:30)
• Fully funded PhD Studentship in Proof-theoretic Semantics... (1 message, latest: Oct 27 2023 at 11:16)
• 4th ItaCa Workshop - Second call for Contributions (1 message, latest: Oct 27 2023 at 07:32)
• [Categories]: PhD or postdoc position at FAU (1 message, latest: Oct 25 2023 at 19:35)
• [Categories]: CTLM 2023 -- Call for Participation (1 message, latest: Oct 25 2023 at 19:35)
• [Categories]: Publication of Volume LXIV-4 of the Cahiers (1 message, latest: Oct 25 2023 at 19:34)
• Postdoc in quantum computation at Dalhousie (1 message, latest: Oct 25 2023 at 19:34)
• FMCS 2024: 8th -- 13th July (1 message, latest: Oct 24 2023 at 09:21)
• 2023 Category Theory Octoberfest 2nd Announcement. It's t... (1 message, latest: Oct 24 2023 at 09:21)
• ItaCa Fest 25 October (1 message, latest: Oct 24 2023 at 09:20)