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: terminology & notation

Topics:

• What is ICat? (4 messages, latest: Nov 22 2024 at 15:44)
• Morphisms that are "as mono as each other" (14 messages, latest: Sep 17 2024 at 01:51)
• algebra for a functor whose structure map is an iso (2 messages, latest: Aug 12 2024 at 06:56)
• simple order theory concept (6 messages, latest: Aug 09 2024 at 17:12)
• Name for class of maps induced by universal property (14 messages, latest: Aug 04 2024 at 20:03)
• codisplay maps (2 messages, latest: Jul 02 2024 at 09:00)
• 3-dimensional opposite (28 messages, latest: Jul 02 2024 at 08:04)
• mixed composite? (14 messages, latest: Jun 28 2024 at 07:27)
• Name for this kind of graph homomorphism? (6 messages, latest: May 23 2024 at 12:46)
• Isofibrations (3 messages, latest: Mar 20 2024 at 17:25)
• Maranda's theorem (21 messages, latest: Feb 14 2024 at 11:09)
• ✔ Latex for marked arrows (4 messages, latest: Feb 08 2024 at 20:15)
• naming loose arrows in triple categories (54 messages, latest: Feb 01 2024 at 21:44)
• operad name history (9 messages, latest: Jan 16 2024 at 02:14)
• Gadgets internal to multicategories (22 messages, latest: Jan 03 2024 at 20:02)
• Definition of streams (17 messages, latest: Dec 29 2023 at 16:56)
• 'natural' transformation (1 message, latest: Dec 21 2023 at 09:07)
• Representing object for forgetful functor (22 messages, latest: Dec 01 2023 at 11:59)
• ambicartesian categories (16 messages, latest: Nov 27 2023 at 16:18)
• stream events (6 messages, latest: Oct 31 2023 at 11:05)
• What is a profunctor C ⇸ D? (78 messages, latest: Oct 30 2023 at 09:10)
• Doctrines (30 messages, latest: Oct 22 2023 at 14:39)
• Truncation (8 messages, latest: Oct 08 2023 at 12:53)
• Functors sending morphisms to isomorphisms (17 messages, latest: Jul 11 2023 at 06:39)
• Counit of an adjunction is "separating" (22 messages, latest: May 22 2023 at 04:05)
• acronyms (3 messages, latest: Apr 19 2023 at 14:37)
• Notation for Kan extensions and liftings (7 messages, latest: Jan 18 2023 at 19:00)
• Fibrant double categories (8 messages, latest: Nov 24 2022 at 23:24)
• how do you denote these things (24 messages, latest: Nov 11 2022 at 16:11)
• actions, modules (51 messages, latest: Oct 10 2022 at 15:34)