Topics:
- Categorification of storages, backups and shardings? (8 messages, latest: Nov 14 2024 at 19:04)
- No-Go Theorem for Classical spacetimes of Quantum Systems (19 messages, latest: Nov 13 2024 at 12:19)
- An Algebraic Theory of Systems (12 messages, latest: Aug 28 2024 at 21:29)
- Databases, ACT and complexity theory? (3 messages, latest: Aug 13 2024 at 13:31)
- Evil (41 messages, latest: Aug 12 2024 at 14:59)
- cryptography (191 messages, latest: May 27 2024 at 13:34)
- A good foundation for science should cover everything (1 message, latest: May 27 2024 at 05:31)
- Holographic Quantum Theory (5 messages, latest: May 25 2024 at 15:27)
- How to get Poly from Groth. construction on dependent sets? (6 messages, latest: Apr 27 2024 at 21:09)
- Modelling with categories (93 messages, latest: Apr 09 2024 at 18:28)
- Life-Cycle Analysis (28 messages, latest: Feb 18 2024 at 23:42)
- Visual Language for Databases (3 messages, latest: Feb 15 2024 at 17:39)
- Concrete examples of application in industry (13 messages, latest: Feb 14 2024 at 17:33)
- Mixed graphs, categorically (11 messages, latest: Jan 04 2024 at 18:01)
- Causal theories with richer objects - sets not numbers (57 messages, latest: Dec 21 2023 at 09:10)
- stream events (8 messages, latest: Oct 31 2023 at 14:40)
- "Clustering" (1 message, latest: Oct 24 2023 at 12:59)
- Higher differential geometry and ACT (32 messages, latest: Oct 12 2023 at 04:13)
- security + ct (85 messages, latest: Aug 31 2023 at 07:28)
- web cats (360 messages, latest: Jun 30 2023 at 09:36)
- HoTT GeoML (29 messages, latest: Jun 16 2023 at 22:21)
- Graphical language for closed monoidal categories (34 messages, latest: Jun 01 2023 at 14:44)
- how good is Poly for dynamical systems, really? (43 messages, latest: May 16 2023 at 15:07)
- Cats applied to political science (9 messages, latest: May 04 2023 at 18:59)
- nashator & friends (16 messages, latest: May 04 2023 at 18:54)
- categories in epidemiology (1 message, latest: May 03 2023 at 19:40)
- around machine learning (64 messages, latest: Apr 23 2023 at 17:43)
- Applied Categories and War (1 message, latest: Mar 17 2023 at 18:05)
- properties of objects (in context of imaging) (9 messages, latest: Feb 08 2023 at 19:21)
- hyperoperators as dynamical systems (125 messages, latest: Dec 08 2022 at 21:59)
- structured cospans (21 messages, latest: Dec 08 2022 at 20:29)
- instance functors for monoidal categories (14 messages, latest: Oct 10 2022 at 18:52)
- categorical computability (2 messages, latest: Aug 12 2022 at 00:34)
- ACT 2022 (3 messages, latest: Jul 09 2022 at 14:59)
- Examples of Strict monoidal functors (5 messages, latest: Jun 11 2022 at 00:15)
- ACT22 (32 messages, latest: Jun 04 2022 at 11:42)
- category theory for nested data structures (26 messages, latest: May 24 2022 at 22:13)
- ACT wiki? (39 messages, latest: May 06 2022 at 04:43)
- Petri nets and programming languages (67 messages, latest: May 02 2022 at 12:12)
- process categories (46 messages, latest: Apr 28 2022 at 18:18)
- constants in empirical models (3 messages, latest: Apr 26 2022 at 08:41)
- functors in Haskell (23 messages, latest: Feb 14 2022 at 06:57)
- ACT as a field (279 messages, latest: Jan 30 2022 at 10:27)
- spans and images (125 messages, latest: Jan 28 2022 at 16:55)
- formalizing ACT (2 messages, latest: Jan 04 2022 at 13:06)
- observing structured objects (11 messages, latest: Dec 21 2021 at 19:41)
- Para construction questions (41 messages, latest: Dec 19 2021 at 11:51)
- probability and statistics (39 messages, latest: Nov 17 2021 at 18:49)
- chemical recipes as functors (88 messages, latest: Nov 11 2021 at 23:30)
- Piecewise-linear subspaces diagrammatically? (542 messages, latest: Nov 10 2021 at 23:02)
- control theory (6 messages, latest: Oct 23 2021 at 23:58)
- Haskell libraries for machine learning (1 message, latest: Oct 15 2021 at 09:56)
- searching for potential research paths (13 messages, latest: Oct 13 2021 at 10:34)
- Sy^S vs coalgebras (32 messages, latest: Sep 08 2021 at 16:50)
- compositional thermodynamics (157 messages, latest: Aug 30 2021 at 02:48)
- Poly Agda Turing Machine (5 messages, latest: Aug 27 2021 at 09:36)
- optics and servers (25 messages, latest: Jul 28 2021 at 22:41)
- programming (11 messages, latest: Jul 02 2021 at 12:27)
- emergent behaviour as laxity (412 messages, latest: Jun 22 2021 at 19:29)
- what to do with too abstract results? (16 messages, latest: Jun 20 2021 at 15:20)
- factored sets (2 messages, latest: Jun 12 2021 at 10:14)
- chainlets (18 messages, latest: Jun 01 2021 at 16:10)
- network transformations (9 messages, latest: May 30 2021 at 20:46)
- subgame perfect equilibrium for open games (11 messages, latest: May 11 2021 at 11:25)
- emergent behaviour workshop (24 messages, latest: May 07 2021 at 14:54)
- ct & engineering (35 messages, latest: Apr 24 2021 at 13:32)
- an involution on 'Learn' (47 messages, latest: Apr 23 2021 at 03:27)
- Coalgebras and convergence of sequences (13 messages, latest: Apr 14 2021 at 07:11)
- model and data provenance (19 messages, latest: Mar 29 2021 at 20:19)
- A simple adjunction in probability theory (5 messages, latest: Feb 22 2021 at 23:13)
- are commutative monoidal categories monadic over Petri nets? (85 messages, latest: Feb 17 2021 at 03:39)
- operads for complex system design (63 messages, latest: Feb 01 2021 at 05:51)
- Understanding statecharts coalgebraically (2 messages, latest: Jan 26 2021 at 23:03)
- imaging systems engineering (143 messages, latest: Jan 14 2021 at 02:39)
- Invitation: CT approach to discrete differential geometry (6 messages, latest: Jan 09 2021 at 09:38)
- provenance for pre-sheaves (5 messages, latest: Jan 03 2021 at 07:17)
- ACT Adjoint School 2021 (5 messages, latest: Jan 02 2021 at 19:20)
- finance in commutative diagrams (8 messages, latest: Dec 13 2020 at 17:39)
- Parallel diagram rewriting (25 messages, latest: Dec 10 2020 at 11:59)
- Markov games (16 messages, latest: Nov 30 2020 at 22:12)
- graphical bimonoidal categories (111 messages, latest: Nov 20 2020 at 12:46)
- systems (99 messages, latest: Oct 23 2020 at 12:37)
- Continuous-time Markov processes as functors (25 messages, latest: Oct 19 2020 at 10:24)
- Compositional modeling with category theory (1 message, latest: Oct 19 2020 at 04:50)
- Euler's Method as a Free Category (32 messages, latest: Oct 14 2020 at 22:04)
- DisCoCat and the Grothendieck construction (84 messages, latest: Oct 13 2020 at 18:46)
- open evolutionary games (3 messages, latest: Oct 06 2020 at 19:18)
- compositional game theory and climate microeconomics (16 messages, latest: Oct 05 2020 at 21:41)
- Dynamical systems: Monoid actions vs "vector fields" (14 messages, latest: Oct 05 2020 at 20:36)
- String diagrams for finite state automata (5 messages, latest: Oct 03 2020 at 10:40)
- Are we already obsolete? (9 messages, latest: Sep 23 2020 at 16:36)
- ACT2019 proceedings (2 messages, latest: Sep 16 2020 at 18:30)
- histogram monad (14 messages, latest: Sep 12 2020 at 17:48)
- Labeled Transition Systems (16 messages, latest: Sep 12 2020 at 16:34)
- insecure semantics (28 messages, latest: Sep 09 2020 at 11:23)
- Really applied ACT (261 messages, latest: Sep 09 2020 at 10:09)
- A topos of Petri nets? (218 messages, latest: Jul 31 2020 at 03:12)
- epidemiology and Petri nets (17 messages, latest: Jul 17 2020 at 07:18)
- petri nets (214 messages, latest: Jul 17 2020 at 06:16)
- PhD experience (125 messages, latest: Jul 16 2020 at 20:49)
- Manin--Marcolli (47 messages, latest: Jul 09 2020 at 22:02)
- Higher Gauge Theory (66 messages, latest: Jul 07 2020 at 11:38)
- July 8: Poster Session (1 message, latest: Jul 05 2020 at 10:04)
- ACT wiki (13 messages, latest: Jul 03 2020 at 15:11)
- ACT2020 (21 messages, latest: Jul 03 2020 at 14:51)
- References - in search of ACT (6 messages, latest: Jul 02 2020 at 00:35)
- Graph Transformations (2 messages, latest: Jun 27 2020 at 03:01)
- "Linearization" (20 messages, latest: Jun 27 2020 at 02:37)
- Climate predictions from statistical mechanics (4 messages, latest: Jun 26 2020 at 05:32)
- the big picture (73 messages, latest: Jun 22 2020 at 14:38)
- diagrams in Prof and optics (58 messages, latest: Jun 20 2020 at 14:46)
- What are Maths and Science? (1 message, latest: Jun 16 2020 at 13:15)
- Consistency in probabilistic logic/inference (54 messages, latest: Jun 09 2020 at 17:46)
- DCPOs (406 messages, latest: Jun 08 2020 at 12:47)
- supply in a SMC (1 message, latest: Jun 06 2020 at 17:37)
- Tonti Diagrams (9 messages, latest: Jun 01 2020 at 22:04)
- Resource Theory (4 messages, latest: Jun 01 2020 at 18:50)
- Wellbeing category (24 messages, latest: May 27 2020 at 16:29)
- open source modelling (108 messages, latest: May 20 2020 at 14:02)
- julia and python (26 messages, latest: May 19 2020 at 20:56)
- The Algebraic Path Problem (72 messages, latest: May 18 2020 at 22:38)
- hierarchy of systems in physics (12 messages, latest: May 16 2020 at 19:13)
- dendrochronology (3 messages, latest: May 16 2020 at 12:55)
- Petri Nets 2020 (4 messages, latest: May 15 2020 at 08:23)
- QNLP (7 messages, latest: May 15 2020 at 04:51)
- Whole-grain Petri nets (81 messages, latest: May 13 2020 at 22:50)
- infinitesimal morphisms (123 messages, latest: May 09 2020 at 10:26)
- reactive stuff (80 messages, latest: May 07 2020 at 22:04)
- CT technology needed for Azimuth (56 messages, latest: May 05 2020 at 07:49)
- Unnormalised probabilities (13 messages, latest: May 02 2020 at 16:02)
- Implementing Open Dynamical Systems (204 messages, latest: May 02 2020 at 14:44)
- Category of probability distributions (38 messages, latest: Apr 29 2020 at 16:41)
- Risk aversion & convex algebras (29 messages, latest: Apr 27 2020 at 23:26)
- generalising open games (22 messages, latest: Apr 27 2020 at 06:59)
- causal inference (20 messages, latest: Apr 26 2020 at 22:37)
- Physics (89 messages, latest: Apr 21 2020 at 18:35)
- 2 cultures of ACT (162 messages, latest: Apr 19 2020 at 02:38)
- mathematical writing (78 messages, latest: Apr 16 2020 at 17:15)
- convex optimization (24 messages, latest: Apr 15 2020 at 09:57)
- categories of open "machines" (25 messages, latest: Apr 15 2020 at 04:55)
- chaos (1 message, latest: Apr 12 2020 at 23:58)
- kripke stuff for measure theory (134 messages, latest: Apr 08 2020 at 22:12)
- Dynamics (35 messages, latest: Apr 08 2020 at 21:20)
- ML/ATP (9 messages, latest: Apr 05 2020 at 17:02)
- Sheaf models for permission systems (21 messages, latest: Apr 02 2020 at 15:17)
- Algebras (26 messages, latest: Apr 01 2020 at 21:12)
- input-output machines (40 messages, latest: Apr 01 2020 at 17:39)
- results on open systems (30 messages, latest: Apr 01 2020 at 17:32)
- DisCoCat (39 messages, latest: Mar 30 2020 at 19:20)
- measuring non-compositionality (144 messages, latest: Mar 28 2020 at 02:04)
- incremental computation (29 messages, latest: Mar 28 2020 at 01:18)
- QuantumDiagrams (1 message, latest: Mar 26 2020 at 14:48)
- optimization (7 messages, latest: Mar 24 2020 at 16:43)
- AACT2020 (1 message, latest: Mar 24 2020 at 00:56)
- welcome (15 messages, latest: Mar 24 2020 at 00:03)
