Topics:
- QPL 2025 (1 message, latest: Oct 31 2024 at 16:24)
- Introduce yourself! (922 messages, latest: Oct 18 2024 at 15:09)
- study group organization software (maybe git?) (9 messages, latest: Oct 14 2024 at 17:24)
- Contact Trimble? (2 messages, latest: Oct 01 2024 at 20:44)
- career diversion survey (1 message, latest: Sep 30 2024 at 11:33)
- Collection honouring Robert Paré for his 80th birthday (1 message, latest: Sep 21 2024 at 12:51)
- Compositionality has moved to EpiSciences (4 messages, latest: Sep 06 2024 at 13:01)
- nLab (194 messages, latest: Sep 05 2024 at 18:20)
- quiver: a modern commutative diagram editor (77 messages, latest: Aug 22 2024 at 07:26)
- ✔ Freelance ACT (9 messages, latest: Aug 20 2024 at 09:00)
- Freelance ACT (137 messages, latest: Aug 04 2024 at 17:33)
- License for Hodge Theory Repository Translation? (22 messages, latest: Jul 31 2024 at 15:21)
- why categories? (24 messages, latest: Jul 24 2024 at 12:47)
- nLab dark theme (10 messages, latest: Jul 23 2024 at 11:17)
- Projective Determinacy (41 messages, latest: Jul 21 2024 at 06:59)
- Beyond dualities (41 messages, latest: Jul 01 2024 at 23:05)
- Special Volume of TAC: Bunge Festschrift (1 message, latest: Jun 08 2024 at 07:44)
- TAC DOIs (41 messages, latest: Jun 03 2024 at 05:50)
- Marta Bunge’s personal library (3 messages, latest: Jun 03 2024 at 05:24)
- Holographic Quantum Theory (1 message, latest: May 25 2024 at 13:28)
- A stacks project for category theory (18 messages, latest: May 08 2024 at 05:06)
- Creating an online seminar on category theory (49 messages, latest: May 06 2024 at 19:00)
- Nima Arkani-Hamed on category theory (7 messages, latest: May 02 2024 at 13:19)
- Philip Scott (6 messages, latest: Apr 28 2024 at 21:05)
- TAC down? (4 messages, latest: Apr 25 2024 at 18:51)
- TAC Expositions (29 messages, latest: Apr 17 2024 at 16:56)
- kerodon.net (5 messages, latest: Apr 15 2024 at 00:09)
- code4math (8 messages, latest: Apr 13 2024 at 21:29)
- Stein Prize (4 messages, latest: Apr 05 2024 at 12:28)
- the group with no elements (6 messages, latest: Apr 02 2024 at 04:09)
- Tripped up by composition ordering? (67 messages, latest: Mar 31 2024 at 20:32)
- older mail list threads (2 messages, latest: Mar 26 2024 at 22:20)
- Group object in an arbitrary category (9 messages, latest: Mar 24 2024 at 03:50)
- group cohomology (29 messages, latest: Mar 17 2024 at 01:19)
- nlab and local copies (23 messages, latest: Mar 12 2024 at 06:26)
- commutative diagrams in Katex? (5 messages, latest: Mar 12 2024 at 06:18)
- announcement: blog feeds on Zulip (5 messages, latest: Mar 01 2024 at 17:55)
- The Monoidal Cafe (13 messages, latest: Feb 13 2024 at 16:10)
- Robin Cockett Doctor honoris causa of Tallinn UT (3 messages, latest: Jan 26 2024 at 13:38)
- Quantinuum (18 messages, latest: Jan 18 2024 at 13:43)
- wiki: Color Logic (47 messages, latest: Dec 10 2023 at 23:55)
- Characterizing the poset reflection of presheaves (15 messages, latest: Dec 10 2023 at 11:50)
- string diagram editor (8 messages, latest: Nov 20 2023 at 01:33)
- TAC reprints sources (10 messages, latest: Nov 08 2023 at 21:23)
- how to learn applied category theory (13 messages, latest: Nov 07 2023 at 08:31)
- Compositionality (102 messages, latest: Nov 03 2023 at 23:50)
- CT mailing list semi-dead? (136 messages, latest: Nov 02 2023 at 12:13)
- stream events (12 messages, latest: Oct 31 2023 at 12:19)
- Introducing me and Bewl, a topos theory DSL (1 message, latest: Oct 25 2023 at 21:51)
- Is TAC archived? (11 messages, latest: Oct 23 2023 at 08:33)
- Sad News: Henry Story (1967-2023) (11 messages, latest: Sep 14 2023 at 17:30)
- Unity-respecting Change (9 messages, latest: Sep 03 2023 at 14:00)
- F. William Lawvere (26 messages, latest: Aug 30 2023 at 13:00)
- Functorial Semantics (2 messages, latest: Aug 22 2023 at 12:54)
- Looking for popular accounts of Yoneda (94 messages, latest: Jul 31 2023 at 04:55)
- LocalCharts (2 messages, latest: Jul 30 2023 at 19:36)
- new streams (99 messages, latest: Jul 22 2023 at 14:47)
- Category / Type / &c. Theorists in industry (14 messages, latest: Jul 19 2023 at 11:37)
- ACT 2023 (1 message, latest: Jul 09 2023 at 13:20)
- (pre)sheaves on homotopy equivalent spaces (6 messages, latest: Jul 06 2023 at 00:08)
- introductions to category theory (7 messages, latest: Jun 28 2023 at 09:21)
- HoTT 2023: Poster (1 message, latest: May 17 2023 at 17:23)
- HoTT 2023: Programme and last call for registration (2 messages, latest: May 11 2023 at 07:50)
- Topos Institute news (23 messages, latest: Apr 30 2023 at 18:54)
- HoTT 2023: Reduced registration (1 message, latest: Apr 27 2023 at 11:43)
- Presentation of closed monoidal categories (19 messages, latest: Apr 17 2023 at 20:48)
- Journal suggestions (3 messages, latest: Mar 24 2023 at 22:31)
- HoTT 2023: Deadline Extended (1 message, latest: Mar 02 2023 at 13:14)
- Selling CT to the masses without any maths prerequisites (3 messages, latest: Feb 27 2023 at 13:41)
- How to deal with the "hydra problem" in research (12 messages, latest: Feb 26 2023 at 14:29)
- Directory of Women in Category Theory (2 messages, latest: Feb 11 2023 at 21:58)
- Mathstodon (34 messages, latest: Jan 24 2023 at 07:22)
- learning dependent type theory (41 messages, latest: Jan 14 2023 at 13:52)
- learning CT (55 messages, latest: Jan 01 2023 at 14:09)
- Subject-specific CT->industry move advice (11 messages, latest: Dec 12 2022 at 22:25)
- Ausi CT pics (5 messages, latest: Dec 11 2022 at 07:27)
- PhD position - biological modelling (1 message, latest: Dec 02 2022 at 10:06)
- Information theoretic commutativity (3 messages, latest: Nov 18 2022 at 06:58)
- Programming Language Tools for ACT (6 messages, latest: Oct 28 2022 at 16:12)
- Quantum PL and verification community (2 messages, latest: Oct 28 2022 at 08:28)
- Gruppenpest (2 messages, latest: Sep 02 2022 at 22:36)
- category theory in Japan (9 messages, latest: Aug 30 2022 at 09:16)
- category theory tutor (1 message, latest: Aug 19 2022 at 06:42)
- study group for Basic Category Theory by Tom Leinster (9 messages, latest: Jul 18 2022 at 13:35)
- any more Brazilians over here? (19 messages, latest: Jun 04 2022 at 16:22)
- discoverability (1 message, latest: May 10 2022 at 06:42)
- web-public streams (4 messages, latest: May 09 2022 at 21:07)
- Pieter Hofstra (11 messages, latest: May 04 2022 at 22:05)
- bicompletions (57 messages, latest: Apr 25 2022 at 05:00)
- Lawvere Foundations Quote (31 messages, latest: Feb 28 2022 at 21:28)
- sad news: Bénabou (1932-2022) (2 messages, latest: Feb 14 2022 at 04:22)
- ACT book series (4 messages, latest: Feb 06 2022 at 04:24)
- Theoretical Computer Science for the Working Cat Theorist (4 messages, latest: Jan 26 2022 at 16:52)
- CMCS deadline extension: please submit your work! (1 message, latest: Jan 25 2022 at 14:14)
- citing unnumbered results (83 messages, latest: Jan 21 2022 at 01:46)
- ✔ are there multiple empty sets? (2 messages, latest: Jan 05 2022 at 19:54)
- how do YOU use a computer in your research? (22 messages, latest: Jan 04 2022 at 15:22)
- off-topic (51 messages, latest: Jan 03 2022 at 17:54)
- normalisation by evaluation and sheaves (1 message, latest: Nov 25 2021 at 21:00)
- type theory with opposite types paper (3 messages, latest: Nov 25 2021 at 01:05)
- "Diagonal Yoneda" (27 messages, latest: Nov 24 2021 at 19:16)
- errata to LPAC (21 messages, latest: Oct 29 2021 at 10:54)
- nLab linkifier (1 message, latest: Oct 20 2021 at 13:25)
- category theory AI companies (43 messages, latest: Oct 02 2021 at 11:20)
- Bart Jacobs wins Simon Stevin (2 messages, latest: Sep 22 2021 at 05:55)
- Grothendieck on topos theory (85 messages, latest: Sep 04 2021 at 03:26)
- the Topos Institute is open! (30 messages, latest: Aug 07 2021 at 08:38)
- category theory in human psychology (121 messages, latest: Aug 04 2021 at 18:00)
- Higher Lie Schreier Theory (4 messages, latest: Jul 26 2021 at 09:11)
- the MathFoldr project (21 messages, latest: Jul 16 2021 at 03:15)
- dedication (18 messages, latest: Jul 01 2021 at 15:20)
- life in academia (112 messages, latest: Jun 25 2021 at 11:25)
- commutative diagrams on Zulip (8 messages, latest: Jun 22 2021 at 04:03)
- lean prover (4 messages, latest: Jun 21 2021 at 15:14)
- CALCO is in trouble! (38 messages, latest: Jun 11 2021 at 17:33)
- square categories? (7 messages, latest: Jun 07 2021 at 09:14)
- for beginners (15 messages, latest: May 21 2021 at 20:40)
- University of Leicester boycott (6 messages, latest: May 18 2021 at 14:27)
- William Lawvere? (2 messages, latest: May 07 2021 at 21:50)
- ArxivDiff (4 messages, latest: May 05 2021 at 15:43)
- nlab down (26 messages, latest: Apr 30 2021 at 16:50)
- Announcement: Structure meets Power Workshop (1 message, latest: Apr 26 2021 at 09:26)
- LaTeX support (84 messages, latest: Apr 23 2021 at 19:43)
- ACT Directory (21 messages, latest: Apr 14 2021 at 13:02)
- category theory illustrated (2 messages, latest: Apr 08 2021 at 03:35)
- birthday celebration (16 messages, latest: Mar 27 2021 at 11:38)
- HoTT Zulip Invite link? (2 messages, latest: Mar 25 2021 at 15:05)
- TheCanonworks, A New Social Media Site of Interest to Aca... (3 messages, latest: Mar 18 2021 at 14:33)
- Contacting David Spivak (3 messages, latest: Mar 17 2021 at 22:51)
- Counterexamples in Category Theory (67 messages, latest: Mar 15 2021 at 15:47)
- Clubhouse Category Theory (1 message, latest: Mar 04 2021 at 13:17)
- Topos Institute (21 messages, latest: Mar 02 2021 at 23:32)
- nLab donations (4 messages, latest: Mar 01 2021 at 19:16)
- a new chatting platform for discussions in logic (12 messages, latest: Feb 25 2021 at 16:41)
- Keeping track of papers (22 messages, latest: Feb 23 2021 at 21:20)
- Theory A/B (42 messages, latest: Feb 22 2021 at 21:09)
- category theory software (219 messages, latest: Feb 08 2021 at 02:03)
- Pure CT Conferences/Seminars (29 messages, latest: Jan 29 2021 at 02:20)
- Kevin Buzzard 'Is HoTT the way to do mathematics?' (68 messages, latest: Jan 28 2021 at 12:55)
- Citing zulip (6 messages, latest: Jan 28 2021 at 12:48)
- Sending stuff to the Moon (2 messages, latest: Jan 27 2021 at 02:34)
- Fresh invite link? (23 messages, latest: Jan 11 2021 at 15:37)
- neutrinos (103 messages, latest: Dec 30 2020 at 20:00)
- Announcement: Bohemian Logical & Philosophical Café (8 messages, latest: Dec 30 2020 at 17:42)
- procedure for new members on Zulip (2 messages, latest: Dec 22 2020 at 15:00)
- new expository journal in category theory (3 messages, latest: Dec 19 2020 at 10:41)
- military funding of category theory (16 messages, latest: Dec 14 2020 at 11:38)
- Jamie Vicary: Introducing homotopy.io (18 messages, latest: Dec 14 2020 at 09:28)
- distributive laws (1 message, latest: Dec 09 2020 at 11:05)
- Process.io stream (1 message, latest: Dec 08 2020 at 10:28)
- Tools for typesetting wiring diagrams? (3 messages, latest: Dec 08 2020 at 09:48)
- Peter Johnstone (12 messages, latest: Dec 06 2020 at 11:27)
- Spans in 2-categories (1 message, latest: Nov 30 2020 at 10:46)
- Spans in 2-categories (sidetopic: Diamonds) (1 message, latest: Nov 30 2020 at 10:46)
- Ramanujan's last formula (4 messages, latest: Nov 29 2020 at 23:07)
- custom emoji (56 messages, latest: Nov 27 2020 at 15:29)
- Functorial semantics for partial theories (1 message, latest: Nov 26 2020 at 22:20)
- Lambda Calculus and CCCs (6 messages, latest: Nov 23 2020 at 22:39)
- The tenfold way (5 messages, latest: Nov 22 2020 at 20:48)
- categories in analysis (45 messages, latest: Nov 22 2020 at 05:33)
- How many structures? (46 messages, latest: Nov 20 2020 at 20:12)
- PresCat and continuous functors (2 messages, latest: Nov 19 2020 at 11:04)
- Ramanujan's easiest formula (1 message, latest: Nov 18 2020 at 05:54)
- poll notice (1 message, latest: Nov 16 2020 at 09:01)
- Garner on cartesian closed varieties (12 messages, latest: Nov 12 2020 at 01:05)
- Universes in (ML)-type theory (37 messages, latest: Nov 10 2020 at 16:15)
- Kock on symmetries (10 messages, latest: Nov 10 2020 at 15:49)
- finding a paper on premonoidal categories (39 messages, latest: Nov 05 2020 at 08:54)
- Consistency proofs (53 messages, latest: Nov 01 2020 at 23:20)
- The Brownian map (9 messages, latest: Oct 19 2020 at 03:16)
- Nonstandard models of arithmetic (149 messages, latest: Oct 13 2020 at 18:24)
- 7 or a proper class (6 messages, latest: Oct 12 2020 at 19:37)
- Ramanujuan-like formula (4 messages, latest: Oct 11 2020 at 05:21)
- Roger Penrose's Nobel Prize (5 messages, latest: Oct 09 2020 at 04:10)
- The fundamental theorem of natural selection (2 messages, latest: Oct 08 2020 at 00:33)
- "Recoltes et Semailles" English Translation (29 messages, latest: Oct 06 2020 at 16:45)
- Colin McLarty (21 messages, latest: Oct 06 2020 at 16:32)
- stretched water (12 messages, latest: Oct 05 2020 at 13:57)
- Terry Tao's new blog post (2 messages, latest: Oct 05 2020 at 13:52)
- Cat theory in type theory (47 messages, latest: Oct 01 2020 at 20:45)
- Spacetimes, Domains and Categories (2 messages, latest: Sep 25 2020 at 01:40)
- 2d TQFT (1 message, latest: Sep 24 2020 at 22:11)
- seminars (14 messages, latest: Sep 24 2020 at 21:58)
- math jokes (1 message, latest: Sep 23 2020 at 11:44)
- infinity-categories in condensed matter physics (3 messages, latest: Sep 19 2020 at 15:05)
- fibrations in biology (4 messages, latest: Sep 19 2020 at 05:38)
- Multiset and Distribution monads and physics (15 messages, latest: Sep 18 2020 at 18:44)
- Comonads in Poly for physics (1 message, latest: Sep 18 2020 at 17:07)
- Use of large cardinals (28 messages, latest: Sep 18 2020 at 16:35)
- CT Calendar? (41 messages, latest: Sep 17 2020 at 00:01)
- Disappearing archives (64 messages, latest: Sep 16 2020 at 04:24)
- monoids, posets and everything in between (11 messages, latest: Sep 14 2020 at 22:42)
- Community (22 messages, latest: Sep 14 2020 at 21:08)
- The projection formula (17 messages, latest: Sep 14 2020 at 15:04)
- Category Theory from the point of view of 'now' (34 messages, latest: Sep 13 2020 at 14:02)
- Category database (82 messages, latest: Sep 10 2020 at 14:20)
- Cat mailing list? (22 messages, latest: Sep 09 2020 at 00:27)
- Ramanujan (13 messages, latest: Sep 06 2020 at 16:30)
- nLab and properties of categories (12 messages, latest: Sep 05 2020 at 19:17)
- counterfactuals (175 messages, latest: Sep 05 2020 at 08:34)
- Community Fragments (23 messages, latest: Sep 05 2020 at 02:06)
- Emily Riehl article (1 message, latest: Sep 02 2020 at 18:43)
- Category of Types (93 messages, latest: Sep 02 2020 at 00:18)
- Is PresCat *-autonomous? (13 messages, latest: Aug 29 2020 at 07:54)
- code of conduct (16 messages, latest: Aug 21 2020 at 13:56)
- open access books (13 messages, latest: Aug 19 2020 at 03:56)
- Clever Proofs in Category Theory (11 messages, latest: Aug 13 2020 at 07:30)
- commutative monads (4 messages, latest: Aug 12 2020 at 19:51)
- Categorical Thermodynamics (55 messages, latest: Aug 10 2020 at 14:10)
- Invite link (12 messages, latest: Aug 02 2020 at 15:00)
- The error in Kapranov–Voevodsky (5 messages, latest: Jul 30 2020 at 09:41)
- Every cat is one of ordinals (49 messages, latest: Jul 30 2020 at 08:00)
- Cohomology (7 messages, latest: Jul 25 2020 at 23:30)
- Noether's theorem (105 messages, latest: Jul 25 2020 at 10:21)
- Comonoidal Categories (11 messages, latest: Jul 25 2020 at 05:06)
- start again mathematics curriculum (20 messages, latest: Jul 25 2020 at 03:00)
- Are monads more natural than sketches? (4 messages, latest: Jul 19 2020 at 15:46)
- Mathematical Physics (31 messages, latest: Jul 18 2020 at 19:38)
- Multisets, Monads and Physics (1 message, latest: Jul 15 2020 at 21:31)
- Tweet threads on mathematics (3 messages, latest: Jul 15 2020 at 06:16)
- Joyal's manuscripts on quasicategories (6 messages, latest: Jul 13 2020 at 23:58)
- Hamiltonian for Graph Rewriting Systems (2 messages, latest: Jul 07 2020 at 22:33)
- Higher Gauge Theory (1 message, latest: Jul 05 2020 at 10:07)
- categories as monoid objects (17 messages, latest: Jun 24 2020 at 05:24)
- ACT2019 proceedings (3 messages, latest: Jun 22 2020 at 22:40)
- CT for ergodic theory? (21 messages, latest: Jun 21 2020 at 12:45)
- Management Cybernetics (7 messages, latest: Jun 17 2020 at 15:50)
- changes at the NSF (3 messages, latest: Jun 12 2020 at 04:00)
- From proof nets to CT? (11 messages, latest: Jun 11 2020 at 19:11)
- Concrete CS->CT storylines (21 messages, latest: Jun 04 2020 at 21:19)
- Where to ask? (7 messages, latest: Jun 04 2020 at 16:32)
- Type classes in category theory (9 messages, latest: Jun 01 2020 at 06:26)
- cantor-schröder-bernstein (33 messages, latest: May 24 2020 at 14:52)
- P vs NP (88 messages, latest: May 22 2020 at 15:09)
- join world's most powerful supercomputer (2 messages, latest: May 22 2020 at 09:52)
- History of Ideas AMAs (1 message, latest: May 22 2020 at 05:33)
- Coherence theorems (12 messages, latest: May 21 2020 at 15:54)
- Course on infinity-categories in Amsterdam (16 messages, latest: May 20 2020 at 05:04)
- Iterated integrals and nonassociative algebras (8 messages, latest: May 19 2020 at 14:20)
- quasicoherent sheaves (1 message, latest: May 15 2020 at 20:34)
- indexing over a base (17 messages, latest: May 15 2020 at 16:08)
- Lawvere teaching calculus with categories (4 messages, latest: May 15 2020 at 15:52)
- classifying fibrations (224 messages, latest: May 14 2020 at 18:25)
- 2-conservativity (5 messages, latest: May 14 2020 at 17:49)
- How long have you worked with CT? (1 message, latest: May 13 2020 at 21:06)
- repurposed language (11 messages, latest: May 13 2020 at 15:39)
- Happy International Women in Mathematics Day! (4 messages, latest: May 13 2020 at 09:10)
- Descent (5 messages, latest: May 12 2020 at 16:56)
- Galois cohomology and Brauer groups (1 message, latest: May 11 2020 at 17:46)
- guide/welcome (39 messages, latest: May 08 2020 at 17:14)
- Trivially trivial (34 messages, latest: May 04 2020 at 18:11)
- fun: Rem's Union Find Algorithm (6 messages, latest: May 03 2020 at 11:12)
- Web Cats (17 messages, latest: May 02 2020 at 15:15)
- etiquette (2 messages, latest: Apr 30 2020 at 19:32)
- Game semantics/game theory (6 messages, latest: Apr 27 2020 at 14:08)
- Congratulations (1 message, latest: Apr 20 2020 at 17:07)
- Shaky foundations (234 messages, latest: Apr 19 2020 at 02:50)
- Quick questions? (8 messages, latest: Apr 17 2020 at 13:43)
- structure vs. properties (113 messages, latest: Apr 16 2020 at 13:35)
- Happy Easter! (1 message, latest: Apr 12 2020 at 10:28)
- a question on datatypes (10 messages, latest: Apr 10 2020 at 15:59)
- Philosophy (19 messages, latest: Apr 09 2020 at 23:40)
- Session types (14 messages, latest: Apr 09 2020 at 23:39)
- economics stream (17 messages, latest: Apr 09 2020 at 07:54)
- CS and Math(s) (336 messages, latest: Apr 09 2020 at 04:27)
- commutative semigroups (90 messages, latest: Apr 07 2020 at 01:28)
- Diagrammatic Assistant (74 messages, latest: Apr 07 2020 at 00:17)
- How can we invite people to this site? (30 messages, latest: Apr 06 2020 at 22:30)
- Toposes as categorifications (12 messages, latest: Apr 06 2020 at 20:33)
- Takes all sorts (27 messages, latest: Apr 06 2020 at 18:10)
- PSA on truth values (3 messages, latest: Apr 06 2020 at 05:49)
- fun math on Twitter (2 messages, latest: Apr 05 2020 at 22:59)
- Math and Real Life (8 messages, latest: Apr 05 2020 at 11:31)
- fab thoughts (94 messages, latest: Apr 05 2020 at 10:31)
- Wolfram and co (14 messages, latest: Apr 04 2020 at 21:13)
- moderately helpful (4 messages, latest: Apr 04 2020 at 17:40)
- Quantifying Obstacles (8 messages, latest: Apr 03 2020 at 23:03)
- Joining Cats (4 messages, latest: Apr 03 2020 at 21:01)
- conversing in different languages (20 messages, latest: Apr 02 2020 at 13:11)
- Zulip questions (34 messages, latest: Mar 31 2020 at 20:31)
- The Elephant in the room (16 messages, latest: Mar 30 2020 at 10:01)
- email address privacy (2 messages, latest: Mar 29 2020 at 17:00)
- upgrading zulipchat plan (2 messages, latest: Mar 29 2020 at 16:57)
- document exchange (4 messages, latest: Mar 28 2020 at 20:47)
- David Myers on HoTT (11 messages, latest: Mar 28 2020 at 08:15)
- ct visualization (22 messages, latest: Mar 26 2020 at 09:49)
- swimming turtles (12 messages, latest: Mar 26 2020 at 01:42)
- zulip for ct (100 messages, latest: Mar 25 2020 at 20:35)
- Tools for diagrams (78 messages, latest: Mar 25 2020 at 17:53)
- topic demonstration (2 messages, latest: Mar 23 2020 at 16:57)
