Topics:
- stream events (5 messages, latest: Oct 31 2023 at 11:00)
- Operational Transform via Category Theory (2 messages, latest: Aug 31 2023 at 10:33)
- TAC Expositions Policy (10 messages, latest: Aug 29 2023 at 08:28)
- Trace models of concurrent valuation algebras (1 message, latest: Aug 22 2023 at 04:21)
- Thesis: The Functional Machine Calculus (1 message, latest: Aug 13 2023 at 09:57)
- Derived Braids of Decreasing Products and their Categories (1 message, latest: Aug 08 2023 at 05:16)
- String diagrams for symmetric powers (1 message, latest: Aug 07 2023 at 04:07)
- String diagrams for self-confirming beliefs (1 message, latest: Jul 02 2023 at 10:23)
- Adjoint functor theorems for lax-idempotent pseudomonads (12 messages, latest: Jun 21 2023 at 19:45)
- String diagrams for closed monoidal categories (10 messages, latest: Jun 03 2023 at 07:44)
- The representing localic groupoid for a geometric theory (10 messages, latest: May 31 2023 at 13:49)
- Bifibrations of polycategories and classical MLL (23 messages, latest: May 27 2023 at 09:54)
- An Introduction to String Diagrams for Computer Scientists (36 messages, latest: May 22 2023 at 19:58)
- Relative monadicity (3 messages, latest: May 18 2023 at 19:08)
- New paper on enriched monad-theory equivalences (1 message, latest: May 15 2023 at 17:54)
- Higher-dimensional subdiagram matching (1 message, latest: Apr 20 2023 at 07:16)
- Pointfree topology and constructive mathematics (1 message, latest: Apr 13 2023 at 11:22)
- string diagrams for bot religions (1 message, latest: Mar 28 2023 at 01:28)
- Graded Differential Categories and GDiLL (11 messages, latest: Mar 21 2023 at 05:07)
- The formal theory of relative monads (1 message, latest: Feb 28 2023 at 14:21)
- Toposes of Topological Monoid Actions (10 messages, latest: Feb 23 2023 at 10:05)
- Towards a Higher-Order Mathematical Operational Semantics (20 messages, latest: Nov 10 2022 at 23:48)
- Categorical semantics of compositional RL (5 messages, latest: Nov 08 2022 at 15:14)
- Machine Space I: Weak exponentials and quantification ove... (3 messages, latest: Oct 01 2022 at 13:18)
- An introduction to enriched cofunctors (6 messages, latest: Sep 05 2022 at 14:48)
- operads as double functors (3 messages, latest: Aug 19 2022 at 06:31)
- classifying topoi in synthetic guarded domain theory (2 messages, latest: Jun 12 2022 at 13:26)
- Inner autoequivalences in general and those of monoidal c... (3 messages, latest: May 10 2022 at 00:49)
- Cornering Optics (57 messages, latest: May 04 2022 at 16:36)
- Yoneda Hacking: The Algebra of Attacker Actions (41 messages, latest: May 02 2022 at 15:57)
- sheaf semantics of termination-insensitive noninterference (2 messages, latest: Apr 19 2022 at 16:34)
- A unified treatment of structural definitions on syntax (3 messages, latest: Apr 12 2022 at 11:07)
- What should a generic object be? (1 message, latest: Apr 10 2022 at 08:19)
- geometric morphisms between toposes of monoid actions (7 messages, latest: Mar 21 2022 at 20:31)
- On the the missing diagrams in Category Theory (20 messages, latest: Mar 10 2022 at 18:32)
- categorical completeness (8 messages, latest: Feb 28 2022 at 17:30)
- Strict universes for Grothendieck topoi (1 message, latest: Feb 25 2022 at 17:55)
- fibered multicategory theory (35 messages, latest: Jan 14 2022 at 19:09)
- fibrational linguistics (23 messages, latest: Jan 06 2022 at 14:40)
- categorical composable cryptography (29 messages, latest: Jan 06 2022 at 11:16)
- Monoid Properties as Invariants of Toposes of Monoid Actions (3 messages, latest: Dec 02 2021 at 09:00)
- Traced monoidal categories as algebraic structures in Prof (2 messages, latest: Sep 03 2021 at 12:05)
- Categorical Semantics of Cyber-Physical Systems Theory (17 messages, latest: Jul 15 2021 at 13:39)
- On Supercompactly and Compactly Generated Toposes (19 messages, latest: Jul 06 2021 at 18:40)
- LNL polycategories (5 messages, latest: Jul 02 2021 at 13:59)
- The derivator of setoids (48 messages, latest: May 23 2021 at 15:20)
- Native Type Theory (153 messages, latest: May 17 2021 at 10:10)
- Graphical Calculus for Lagrangian Relations (3 messages, latest: May 14 2021 at 05:29)
- pregroups are frobenii are pregroups (1 message, latest: May 13 2021 at 07:25)
- Categories of Nets (14 messages, latest: Apr 04 2021 at 18:02)
- Combining Nondeterminism, Probability, and Termination (1 message, latest: Apr 01 2021 at 13:43)
- Normalization for Cubical Type Theory (1 message, latest: Apr 01 2021 at 12:08)
- ZH-calculus (2 messages, latest: Mar 12 2021 at 11:03)
- Categorical Foundations of Gradient-Based Learning (7 messages, latest: Mar 04 2021 at 19:00)
- Category O for oriented matroids (22 messages, latest: Feb 24 2021 at 22:27)
- a categorical semantics for hierarchical nets (5 messages, latest: Feb 02 2021 at 23:08)
- category of real numbers: the addition as a biproduct (1 message, latest: Jan 29 2021 at 07:09)
- Smash product of monoidal theories (13 messages, latest: Jan 27 2021 at 14:23)
- a categorical semantics for bounded Petri nets (44 messages, latest: Jan 26 2021 at 21:31)
- open systems and double categories (2 messages, latest: Jan 24 2021 at 01:12)
- structured vs decorated cospans (13 messages, latest: Jan 23 2021 at 23:56)
- LICS paper (5 messages, latest: Jan 23 2021 at 19:52)
- Nets with Mana: A Framework for Chemical Reaction Modelling (10 messages, latest: Jan 18 2021 at 13:10)
- Functorial semantics for partial theories (30 messages, latest: Nov 29 2020 at 08:46)
- Coends of higher arity (3 messages, latest: Sep 26 2020 at 16:28)
