LocalCharts Archive Index

Catlab Refactor III: General categorical plumbing Owen Lynch Fri May 16 2025
The Sun is Good Topos Institute Fri May 09 2025
TopOx seminar Topos Institute Thu May 08 2025
The three functions of a name: reference, identity and display Topos Institute Wed May 07 2025
Graded categories as double functors Evan Patterson Fri May 02 2025
Graded categories as double functors Topos Institute Thu May 01 2025
Wiring Euclid for manufacturing Topos Institute Thu May 01 2025
Care at the Edge of Automation Topos Institute Tue Apr 29 2025
Rethinking LocalCharts Owen Lynch Sat Apr 26 2025
Civilizational Collapse (Part 5) John Carlos Baez Thu Apr 24 2025
Analogies in Planning using Functorial Data Migrations Owen Lynch Mon Apr 21 2025
Multi-agent Coordination with AlgebraicJulia using Cellular Sheaves Owen Lynch Mon Apr 21 2025
Tree Decompositions in Julia Owen Lynch Mon Apr 07 2025
Distilling Research at Scale Topos Institute Fri Apr 04 2025
The McGee Group John Carlos Baez Wed Mar 26 2025
JuMP-ing with AlgebraicJulia II: A practical optimization model Owen Lynch Wed Mar 26 2025
Catlab Refactor II: Basic Sets Owen Lynch Tue Mar 25 2025
Visual Insights (Part 2) John Carlos Baez Wed Mar 19 2025
A Category Theory-Inspired BBN Topos Institute Tue Mar 11 2025
Visual Insights (Part 1) John Carlos Baez Fri Mar 07 2025
Pursuing liquid C*-algebras Owen Lynch Sun Mar 02 2025
Towards codified context, durable documentation, and process preservation Topos Institute Thu Feb 27 2025
But why apply category theory? An example JR Mon Feb 24 2025
Catlab Refactor I: GATlab Preliminaries Owen Lynch Tue Feb 18 2025
Helpful: Making your work easy to cite JR Sun Feb 16 2025
Nondeterministic behaviours in double categorical systems theory Paul Wang Tue Feb 11 2025
CatColab 0.2: Wren Topos Institute Wed Feb 05 2025
Incorporating history into ACT representations of dynamical systems Simon Frost Mon Feb 03 2025
Seeking Guidance and Collaboration: Applied Category Theory Research in AI Pierre Rosado Wed Jan 22 2025
Owen's Medium Sized List of Slightly Unorthodox Mathematical Books Owen Lynch Sun Jan 19 2025
Best abstraction for modeling changes in parameters and/or states in a dynamical system? Simon Frost Fri Jan 17 2025
Do diagram Markov categories have conditionals? Paul Wang Fri Jan 17 2025
Problems to Sharpen the Young John Carlos Baez Mon Jan 06 2025
Tech, oligopoly, and oligarchy Evan Patterson Wed Jan 01 2025
Highlights in metal, 2024 Evan Patterson Thu Dec 26 2024
Polynomial universes and natural models Topos Institute Tue Dec 10 2024
Launching new collaboration with Chapman University Topos Institute Wed Dec 04 2024
Applied Category Theory for Engineering Design: A Teaser Video Topos Institute Wed Dec 04 2024
Toward compact double categories: Part 1 Topos Institute Wed Dec 04 2024
Toward compact double categories: Part 2 Topos Institute Wed Dec 04 2024
How to write a fantastic book in four months, Part I Topos Institute Wed Dec 04 2024
How to write a fantastic book in four months, Part II Topos Institute Wed Dec 04 2024
How to write a fantastic book in four months, Part III Topos Institute Wed Dec 04 2024
Our Summer Research Associates in 2024 Topos Institute Wed Dec 04 2024
Rethink math talks Topos Institute Wed Dec 04 2024
A polynomial account of Bayesian update Topos Institute Wed Dec 04 2024
Wiring diagrams for Mealy machines Topos Institute Wed Dec 04 2024
Plausible fiction Topos Institute Wed Dec 04 2024
Postdoc job openings in Topos Oxford, UK Topos Institute Wed Dec 04 2024
Open curricula and assessment tools workshop in Kisumu Topos Institute Wed Dec 04 2024
Introducing CatColab Topos Institute Wed Dec 04 2024
Taking nonlogical concepts seriously Topos Institute Wed Dec 04 2024
Declarative Models and Collaborative Modeling Topos Institute Wed Dec 04 2024
Neural wiring diagrams for message passing in multiscale organizations Topos Institute Wed Dec 04 2024
Call for 2025 Summer Research Associates Topos Institute Wed Dec 04 2024
Structure-aware version control via observational bridge types Topos Institute Wed Dec 04 2024
Mathstodon is awesome Owen Lynch Sun Dec 01 2024
Question: Rational-time open dynamical systems Paul Wang Tue Nov 26 2024
Using CatColab / ModelCollab for productive disagreement Paul Wang Sat Nov 16 2024
News: Learn About Dynamic Programming With Category Theory Benjamin Bumpus Fri Nov 15 2024
Polarities (Part 5) John Carlos Baez Wed Nov 13 2024
Structure-aware version control via observational bridge types Topos Institute Wed Nov 13 2024
Polarities (Part 4) John Carlos Baez Tue Nov 12 2024
Call for 2025 Summer Research Associates Topos Institute Tue Nov 12 2024
Neural wiring diagrams for message passing in multiscale organizations Topos Institute Fri Nov 08 2024
The Mean Speed Theorem John Carlos Baez Thu Nov 07 2024
Polarities (Part 3) John Carlos Baez Mon Nov 04 2024
Polarities (Part 2) John Carlos Baez Sun Nov 03 2024
Polarities (Part 1) John Carlos Baez Sun Nov 03 2024
Declarative Models and Collaborative Modeling Topos Institute Thu Oct 31 2024
Adjoint School 2025 John Carlos Baez Thu Oct 31 2024
Triangulations of the Sphere (Part 2) John Carlos Baez Tue Oct 29 2024
Triangulations of the Sphere (Part 1) John Carlos Baez Sat Oct 26 2024
Octoberfest 2024 John Carlos Baez Sun Oct 20 2024
JuMP-ing with AlgebraicJulia I: The IJKLM model Owen Lynch Fri Oct 18 2024
Artin Gluing as Tabulator Owen Lynch Fri Oct 18 2024
Semifields: like fields but algebraic! Owen Lynch Thu Oct 17 2024
The universal property of morphism composition Owen Lynch Mon Oct 14 2024
Taking nonlogical concepts seriously Topos Institute Fri Oct 11 2024
On the implementation of C-sets Owen Lynch Thu Oct 10 2024
Modeling frameworks: What is a scientific model? Owen Lynch Thu Oct 10 2024
Graphs and C-sets II: Half-edges and rotation systems Owen Lynch Thu Oct 10 2024
The categorical scoop on attributed C-sets Owen Lynch Thu Oct 10 2024
Compositional epidemiological modeling using structured cospans Owen Lynch Thu Oct 10 2024
A categorical approach to scientific data management Owen Lynch Thu Oct 10 2024
Compositional epidemiological modeling using structured cospans, part 2 Owen Lynch Thu Oct 10 2024
C-sets for data analysis: relational data and conjunctive queries Owen Lynch Thu Oct 10 2024
Composing open dynamical systems I: Directed composition Owen Lynch Thu Oct 10 2024
Graphs and C-sets III: Reflexive graphs and C-set homomorphisms Owen Lynch Thu Oct 10 2024
Graphs and C-sets IV: The propositional logic of subgraphs and sub-C-sets Owen Lynch Thu Oct 10 2024
Equality vs equivalence: computing isomorphism classes of C-sets Owen Lynch Thu Oct 10 2024
The chase: data repair and logical reasoning Owen Lynch Thu Oct 10 2024
Using categorical logic for AI planning Owen Lynch Thu Oct 10 2024
Algebraic geometry for the working programmer Owen Lynch Thu Oct 10 2024
Symbolic presentations of dynamical systems Owen Lynch Thu Oct 10 2024
Acsets with variables Owen Lynch Thu Oct 10 2024
Agent-based modeling via graph rewriting Owen Lynch Thu Oct 10 2024
Introducing InterTypes Owen Lynch Thu Oct 10 2024
Introducing CatColab Topos Institute Wed Oct 02 2024
The Space of Physical Frameworks (Part 5) John Carlos Baez Tue Oct 01 2024
Closure-Free Functional Programming in a Two-Level Type Theory Owen Lynch Sat Sep 28 2024
Collaborative Text Editing with Eg-walker: Better, Faster, Smaller Owen Lynch Fri Sep 27 2024
The Space of Physical Frameworks (Part 4) John Carlos Baez Mon Sep 16 2024
The Space of Physical Frameworks (Part 3) John Carlos Baez Wed Sep 11 2024
The Space of Physical Frameworks (Part 2) John Carlos Baez Sat Sep 07 2024
GADTs as Prolog Owen Lynch Fri Sep 06 2024
Open curricula and assessment tools workshop in Kisumu Topos Institute Fri Sep 06 2024
Narya ProofGeneral Setup Owen Lynch Tue Sep 03 2024
The Space of Physical Frameworks (Part 1) John Carlos Baez Sun Sep 01 2024
Postdoc job openings in Topos Oxford, UK Topos Institute Fri Aug 30 2024
Plausible fiction Topos Institute Wed Aug 28 2024
Stirling’s Formula from Statistical Mechanics John Carlos Baez Tue Aug 27 2024
Wiring diagrams for Mealy machines Topos Institute Mon Aug 19 2024
Bernoulli Numbers and the Harmonic Oscillator John Carlos Baez Fri Aug 16 2024
A polynomial account of Bayesian update Topos Institute Mon Aug 12 2024
A computation-outsourced discussion of zero density theorems for the Riemann zeta function Eigil Rischel Mon Aug 05 2024
Rethink math talks Topos Institute Fri Aug 02 2024
An Exercise in Using ACSets as a Data Structure in Research Jacob S. Zelko Thu Aug 01 2024
Agent-Based Models (Part 14) John Carlos Baez Thu Aug 01 2024
The Age of Proofs is over, the Time of the Definition has come Eigil Rischel Tue Jul 30 2024
Our Summer Research Associates in 2024 Topos Institute Mon Jul 29 2024
Thoughts on Forester: A Scientist's Zettelkasten Owen Lynch Wed Jul 10 2024
How to write a fantastic book in four months, Part III Topos Institute Tue Jul 09 2024
Thoughts on Denotational Semantics Owen Lynch Thu Jul 04 2024
How to write a fantastic book in four months, Part II Topos Institute Thu Jul 04 2024
How to write a fantastic book in four months, Part I Topos Institute Fri Jun 28 2024
Toward compact double categories: Part 1 Evan Patterson Wed Jun 26 2024
Toward compact double categories: Part 2 Evan Patterson Wed Jun 26 2024
Toward compact double categories: Part 2 Topos Institute Mon Jun 24 2024
Logic via hyperdoctrines: equivalence relation example LocalCharts Forest Thu Jun 20 2024
Toward compact double categories: Part 1 Topos Institute Thu Jun 20 2024
Free cocompletions Kevin Carlson Tue Jun 18 2024
CT for all : we can make a Universal Knowledge Interface Christian Williams Tue Jun 11 2024
Compassionate mathematics Topos Institute Mon Jun 10 2024
Silviculture is live! Owen Lynch Fri Jun 07 2024
Topics in computer science I think are important over the next decade Owen Lynch Thu Jun 06 2024
Agent-Based Models (Part 12) John Carlos Baez Wed Jun 05 2024
Applied Category Theory for Engineering Design: A Teaser Video Topos Institute Mon Jun 03 2024
Launching new collaboration with Chapman University Topos Institute Tue May 28 2024
Agent-Based Models (Part 11) John Carlos Baez Fri May 24 2024
Agent-Based Models (Part 10) John Carlos Baez Sat May 18 2024
Kris Brown is cooking Owen Lynch Fri May 17 2024
Eigil is cooking Owen Lynch Fri May 17 2024
An abelian ambient category for behaviors in algebraic systems theory Mohamed Barakat Wed May 15 2024
Coupling ODEs with ACSets Kris Brown Sat May 11 2024
Inductively-Correct Models of Algebraic Theories Owen Lynch Wed May 08 2024
Program Safety Via Lexical Constraints Owen Lynch Wed May 08 2024
The Whitney map, or how to stopy worrying and love discrete differential forms LocalCharts Forest Mon May 06 2024
Clowder and Darwin Owen Lynch Mon May 06 2024
Hexagonal Tiling Honeycomb John Carlos Baez Sat May 04 2024
Compositional imprecise probability Owen Lynch Thu May 02 2024
Comma objects in general LocalCharts Forest Thu Apr 25 2024
Solutions of multi-domain multi-physics problems LocalCharts Forest Thu Apr 25 2024
Ontological Commitments for Boundaries Topos Institute Thu Apr 25 2024
Lowbrow Bayesian Updates Owen Lynch Tue Apr 23 2024
Convex optimization with a categorical point of view LocalCharts Forest Mon Apr 22 2024
Lax and Colax Diagram Categories as Charts and Lenses LocalCharts Forest Fri Apr 19 2024
Multi-domain multi-physics?! LocalCharts Forest Tue Apr 16 2024
Crossposting from forest.localcharts.org mostly fixed Owen Lynch Tue Apr 16 2024
Agent-Based Models (Part 8) John Carlos Baez Tue Apr 16 2024
Internal Category Theory Owen Lynch Mon Apr 15 2024
Understanding UMAP Topos Institute Fri Apr 05 2024
Convolution, abstractly Matteo Capucci Tue Apr 02 2024
Pattern Runs on Matter LocalCharts Forest Sat Mar 30 2024
Poly @ Work 2024 Topos Institute Wed Mar 27 2024
U-lang, A-lang, and the Obs within JR Wed Mar 27 2024
Reading Group on Computational Category Theory Owen Lynch Tue Mar 26 2024
Kittenlab... in 1988! Owen Lynch Mon Mar 25 2024
Effectful Trace Semantics via Effectful Streams Owen Lynch Thu Mar 21 2024
LocalCharts on Lemmy Owen Lynch Thu Mar 21 2024
Differential Equations with Jumps Owen Lynch Mon Mar 18 2024
The Probability of Undecidability John Carlos Baez Fri Mar 15 2024
The Probability of the Law of Excluded Middle John Carlos Baez Wed Mar 13 2024
My PhD Thesis is out! Bruno Gavranović Wed Mar 13 2024
Learning to Learn Again JR Mon Mar 11 2024
Wild coproducts in the category of simple lenses LocalCharts Forest Thu Mar 07 2024
Dependent optics LocalCharts Forest Wed Mar 06 2024
Formal and Informal Collaboration LocalCharts Forest Mon Mar 04 2024
Notes for Davidad's Second ARIA Workshop LocalCharts Forest Mon Mar 04 2024
A glimpse of the algebraic theory of linear systems Matteo Capucci Fri Mar 01 2024
People like you are using the forest! Owen Lynch Fri Mar 01 2024
Profunctor Optics, a Categorical Update Mario Román Fri Mar 01 2024
Agent-Based Models (Part 7) John Carlos Baez Wed Feb 28 2024
Degree of Classicality Benjamin Bumpus Tue Feb 27 2024
Induction is induction Matteo Capucci Fri Feb 23 2024
Introducing InterTypes Topos Institute Thu Feb 22 2024
Shrubbery Notation Owen Lynch Wed Feb 21 2024
Agent-Based Models (Part 6) John Carlos Baez Tue Feb 20 2024
Forester for the Woodland Skeptic LocalCharts Forest Mon Feb 19 2024
On Debugging and Errors LocalCharts Forest Thu Feb 15 2024
Agent-Based Models (Part 5) John Carlos Baez Thu Feb 15 2024
Visual Language for Databases Christian Williams Wed Feb 14 2024
Dialogue on a mathematical approach to the good Topos Institute Wed Feb 14 2024
A nuclear adjunction between Poly and Dir Topos Institute Wed Feb 14 2024
Unbiased monoidal categories are pseudo-elements Topos Institute Wed Feb 14 2024
Powers of polynomial monads Topos Institute Wed Feb 14 2024
Our Summer Research Associates in 2023 Topos Institute Wed Feb 14 2024
Cartesian double theories Topos Institute Wed Feb 14 2024
Retrotransformations Topos Institute Wed Feb 14 2024
Lie groups induce Hopf monoids in Poly Topos Institute Wed Feb 14 2024
Solving problem-solving Topos Institute Wed Feb 14 2024
Topos researchers win Best Paper Award at AAAI Fall Symposium 2023 Topos Institute Wed Feb 14 2024
Mathematics for climate change Topos Institute Wed Feb 14 2024
Categorical Statistics in Julia Topos Institute Wed Feb 14 2024
Trustworthy Reification Topos Institute Wed Feb 14 2024
Responsible mathematics and metaphors of semantics Topos Institute Wed Feb 14 2024
Poly-morphic effect handlers Topos Institute Wed Feb 14 2024
Building dynamic structures Topos Institute Wed Feb 14 2024
Why double categories? Part 1 Topos Institute Wed Feb 14 2024
Composing springs Topos Institute Wed Feb 14 2024
Algebras are promonads Topos Institute Wed Feb 14 2024
SCAI — AI for the Global Good Topos Institute Wed Feb 14 2024
New Topos Website! Owen Lynch Tue Feb 13 2024
Pied Butcherbird John Carlos Baez Fri Feb 09 2024
Double Category Theory from a Double Categorical Perspective LocalCharts Forest Tue Feb 06 2024
Errors are CoPara Owen Lynch Tue Feb 06 2024
Cofree Tambara modules Matteo Capucci Fri Feb 02 2024
Taming argmax Matteo Capucci Thu Feb 01 2024
Enriched Category Theory Lectures -- Marius Furter Owen Lynch Mon Jan 29 2024
Algebras are promonads Evan Patterson Mon Jan 29 2024
Entropy: the chain rule in terms of monad algebras LocalCharts Forest Fri Jan 26 2024
Well Temperaments (Part 3) John Carlos Baez Thu Jan 25 2024
Efficiency asymmetry: Scientists report fundamental asymmetry between heating Owen Lynch Mon Jan 22 2024
Two Perspectives on Data Definition LocalCharts Forest Mon Jan 22 2024
Laziness as a Special Case of Semilattice Updating Owen Lynch Mon Jan 22 2024
Well Temperaments (Part 2) John Carlos Baez Thu Jan 18 2024
Announcing the LocalCharts Forest Owen Lynch Wed Jan 17 2024
Structured Data: A Principled Approach LocalCharts Forest Wed Jan 17 2024
Introducing InterTypes Owen Lynch Wed Jan 17 2024
About the Forest category Owen Lynch Tue Jan 16 2024
Why double categories? Part 1 Evan Patterson Mon Jan 15 2024
Giovanni Battista Doni John Carlos Baez Mon Jan 15 2024
String Diagrams for Monoidal Double Categories Christian Williams Sun Jan 14 2024
Category Theory in Epidemiology John Carlos Baez Sat Jan 13 2024
Well Temperaments (Part 1) John Carlos Baez Thu Jan 11 2024
Pullbacks are Hard to Think About! Benjamin Bumpus Wed Jan 10 2024
The Harmonic Seventh Chord John Carlos Baez Wed Jan 10 2024
Quarter-Comma Meantone (Part 7) John Carlos Baez Mon Jan 08 2024
Quarter-Comma Meantone (Part 6) John Carlos Baez Thu Jan 04 2024
I’ve been posting on LocalCharts Matteo Capucci Thu Jan 04 2024
Reflections from factorization systems Matteo Capucci Thu Jan 04 2024
Music Category Owen Lynch Mon Jan 01 2024
About the Music category Owen Lynch Mon Jan 01 2024
Quarter-Comma Meantone (Part 5) John Carlos Baez Mon Jan 01 2024
Highlights in metal, 2023 Evan Patterson Mon Jan 01 2024
Melakarta Ragas John Carlos Baez Sat Dec 30 2023
Dimensionful Spaces Owen Lynch Fri Dec 29 2023
Nearest Neighbors as a hom of profunctors David Jaz Myers Fri Dec 29 2023
PROPs as theories of connection David Jaz Myers Thu Dec 28 2023
Tambara modules are modules Matteo Capucci Wed Dec 27 2023
Quarter-Comma Meantone (Part 4) John Carlos Baez Mon Dec 25 2023
Quarter-Comma Meantone (Part 3) John Carlos Baez Thu Dec 21 2023
Quarter-Comma Meantone (Part 2) John Carlos Baez Mon Dec 18 2023
Quarter-Comma Meantone (Part 1) John Carlos Baez Wed Dec 13 2023
Foam diagrams David Jaz Myers Mon Dec 11 2023
How Naïve Dynamic Programming can Fail: Initiating a Systematic Study of Obstructions to Algorithmic Compositionality through the Lens of Cohomology Benjamin Bumpus Fri Dec 08 2023
The Wizardry Frontier — Sympolymathesy, by Chris Krycho Owen Lynch Thu Dec 07 2023
About the Links category Owen Lynch Thu Dec 07 2023
How to stay locally safe in a global world Jade Master Thu Dec 07 2023
Adjoint School 2024 John Carlos Baez Mon Dec 04 2023
Actions of categories Matteo Capucci Sun Dec 03 2023
Seminar on This Week’s Finds John Carlos Baez Fri Dec 01 2023
Reproducible Literate Programming: A Correct and Efficient Design Owen Lynch Thu Nov 30 2023
Categories are monads in spans Matteo Capucci Tue Nov 28 2023
LocalCharts on the Fediverse? Matteo Capucci Tue Nov 28 2023
Desiderata for an adequate scientific publishing platform Owen Lynch Mon Nov 27 2023
What Can Mathematicians Do About Climate Change? John Carlos Baez Sat Nov 25 2023
Agent-Based Models (Part 4) John Carlos Baez Thu Nov 23 2023
Multi-adjoints as conjoints David Jaz Myers Sun Nov 19 2023
Just Intonation (Part 5) John Carlos Baez Fri Nov 17 2023
Animating categories toby smithe Thu Nov 16 2023
A basic logo Matteo Capucci Wed Nov 15 2023
Just Intonation (Part 4) John Carlos Baez Wed Nov 15 2023
LocalCharts Survey Owen Lynch Tue Nov 14 2023
Agent-Based Models (Part 3) John Carlos Baez Tue Nov 14 2023
Combinatorial data structures via finite existential types Owen Lynch Mon Nov 13 2023
Mathematics for Climate Change John Carlos Baez Mon Nov 13 2023
Just Intonation (Part 3) John Carlos Baez Thu Nov 09 2023
Tree Decompositions of Groups: a Letter to Mike Fellows Benjamin Bumpus Wed Nov 08 2023
Boethius John Carlos Baez Wed Nov 08 2023
Compositional Algorithms Benjamin Bumpus Tue Nov 07 2023
Categories of temporal graphs §1 Benjamin Bumpus Tue Nov 07 2023
Compositional algorithms §2: quotienting solution spaces Benjamin Bumpus Tue Nov 07 2023
Understanding sheaves §1 Benjamin Bumpus Tue Nov 07 2023
Dynamic programming on non-recursive structures Benjamin Bumpus Tue Nov 07 2023
Understanding Sheaves §2 Benjamin Bumpus Tue Nov 07 2023
Understanding Sheaves §3 Benjamin Bumpus Tue Nov 07 2023
Diagrammatic Equations Benjamin Bumpus Tue Nov 07 2023
Tree Decompositions via Lattices Benjamin Bumpus Tue Nov 07 2023
Co-Adhesive Categories… Benjamin Bumpus Tue Nov 07 2023
Storm Babet in Granton Harbour John Carlos Baez Tue Nov 07 2023
Just Intonation (Part 2) John Carlos Baez Mon Nov 06 2023
Kart: git-based version control for tabular databases Owen Lynch Mon Oct 30 2023
Just Intonation (Part 1) John Carlos Baez Sun Oct 29 2023
Is FinSet the homotopy category of a computationally-nice preorder? Owen Lynch Sat Oct 28 2023
Efficient ASTs via Array Systems Owen Lynch Fri Oct 27 2023
Array Systems Owen Lynch Fri Oct 27 2023
A generalization of GAT syntax Kevin Carlson Wed Oct 25 2023
Software for Compositional Modeling in Epidemiology John Carlos Baez Wed Oct 25 2023
Cartesian double theories Evan Patterson Sat Oct 21 2023
Retrotransformations Evan Patterson Sat Oct 21 2023
Balloons: a new state management framework bridging cats-effect and laminar Owen Lynch Fri Oct 20 2023
Matrices of Categories, in 3D String Diagrams Christian Williams Tue Oct 17 2023
GATlab Is Now The Core of Catlab Owen Lynch Mon Oct 16 2023
Compositional Wizards Owen Lynch Fri Oct 13 2023
Perfect Fifths in Equal Tempered Scales (Part 1) John Carlos Baez Fri Oct 13 2023
Notions of negative dimension Alok Singh Thu Oct 12 2023
Relational Composition of Physical Systems: A Categorical Approach Owen Lynch Wed Oct 11 2023
Random sequences as the canonical object in the topos [lott, y]-coalg. How so? dspivak Tue Oct 10 2023
Pythagorean Tuning John Carlos Baez Sat Oct 07 2023
Musing about preference allocation Kevin Carlson Fri Oct 06 2023
The Type of Acute Triangles David Jaz Myers Mon Oct 02 2023
Lectures on Applied Category Theory John Carlos Baez Thu Sep 28 2023
Spans in Manifold Owen Lynch Tue Sep 26 2023
Attractors as eventual epimorphisms David Jaz Myers Mon Sep 25 2023
The Moduli Space of Acute Triangles John Carlos Baez Sat Sep 23 2023
State Management for Semagrams Owen Lynch Fri Sep 22 2023
About the Devlog category Owen Lynch Fri Sep 22 2023
Learning Resources for Applied Category Theory Owen Lynch Fri Sep 22 2023
Open factor graphs toby smithe Mon Sep 18 2023
Life’s Struggle to Survive John Carlos Baez Mon Sep 18 2023
The Triassic-Jurassic Extinction John Carlos Baez Sat Sep 16 2023
Structured Version Control for Scientific Models Owen Lynch Wed Sep 13 2023
Scopes in GATlab Owen Lynch Mon Sep 11 2023
In hydraulis by Antoine Busnois John Carlos Baez Sun Sep 10 2023
Probability spaces form a lotteries-algebra dspivak Fri Sep 08 2023
AlgebraicJulia in Lean4? Owen Lynch Fri Sep 08 2023
Hoàng Xuân Sính’s Birthday John Carlos Baez Tue Sep 05 2023
Monolateral categories Jean-Baptiste Vienney Thu Aug 31 2023
Hawk-Dove game in Julia Joe Moeller Tue Aug 29 2023
Opinion 1: Doron Zeilberger is a great mathematician and prophet of the computer-aided future, but he is still blinded by the idea that intrinsic value in mathematics comes from interestingness Owen Lynch Mon Aug 28 2023
Exergy via GENERIC Owen Lynch Mon Aug 28 2023
Seminar on “This Week’s Finds” John Carlos Baez Sun Aug 27 2023
Unbiased monoidal categories are pseudo-elements Evan Patterson Sat Aug 26 2023
Semantics of GATs Kevin Carlson Thu Aug 24 2023
The Syntonic Comma John Carlos Baez Thu Aug 24 2023
Modes (Part 8) John Carlos Baez Mon Aug 21 2023
On elements in category theory Matteo Capucci Mon Aug 21 2023
A geometrically precise account of Navier-Stokes Owen Lynch Sun Aug 20 2023
Formalizing Sleeping Beauty Adele Lopez Sun Aug 20 2023
Working volition dspivak Sat Aug 19 2023
Turi-Plotkin and rewriting dspivak Sat Aug 19 2023
Positive impact of AlgebraicJulia Owen Lynch Fri Aug 18 2023
Approximate Morphisms David Jaz Myers Fri Aug 18 2023
ACT and physical and mental health David Corfield Fri Aug 18 2023
A quick-and-dirty test for relatively-low-dimensional interaction in an example system John S Wentworth Fri Aug 18 2023
Agent-Based Models (Part 2) John Carlos Baez Thu Aug 17 2023
Embrace Negativity Jade Master Wed Aug 16 2023
No more annoying similar topics popup Owen Lynch Wed Aug 16 2023
Is the Kleisli category of the infradistributions monad a copy-discard category? Owen Lynch Wed Aug 16 2023
Fuzzy posets of infrabayesian distributions Owen Lynch Wed Aug 16 2023
Coarse graining via adjoint functors Owen Lynch Tue Aug 15 2023
8 and 24 John Carlos Baez Mon Aug 14 2023
Modes (Part 7) John Carlos Baez Fri Aug 11 2023
Open classical mechanical systems via lenses Owen Lynch Thu Aug 10 2023
Initial progress on category-typed attributes for C-sets Owen Lynch Thu Aug 10 2023
Visceral Experience of Numerical Error Owen Lynch Thu Aug 10 2023
Moving, Fast and Slow Owen Lynch Wed Aug 09 2023
Grothendieck construction for double categories Evan Patterson Tue Aug 08 2023
Decorated cospans via the Grothendieck construction Evan Patterson Tue Aug 08 2023
Structured cospans as a cocartesian equipment Evan Patterson Tue Aug 08 2023
Modes (Part 6) John Carlos Baez Mon Aug 07 2023
A complexity-taming thing Matteo Capucci Sun Aug 06 2023
Norton’s Dome John Carlos Baez Sat Aug 05 2023
Teaching Systems Dynamics John Carlos Baez Thu Aug 03 2023
Software for Compositional Modeling in Epidemiology John Carlos Baez Tue Aug 01 2023
ACT2023 In-person Owen Lynch Sun Jul 30 2023
LocalCharts is Live Owen Lynch Sun Jul 30 2023
ACT2023 – Network Theory Talks John Carlos Baez Sun Jul 30 2023
Skara Brae John Carlos Baez Tue Jul 25 2023
How notebooks should work Owen Lynch Tue Jul 25 2023
Rust vs. Julia in ACT Owen Lynch Mon Jul 24 2023
Negative Prices for Power John Carlos Baez Mon Jul 17 2023
No, the Yoneda lemma doesn’t solve the problem of qualia Matteo Capucci Sat Jul 15 2023
Modes (Part 5) John Carlos Baez Tue Jul 11 2023
The Cartesian equipment of ideals of R-algebras Owen Lynch Mon Jul 10 2023
Agent-based modeling via graph rewriting Owen Lynch Fri Jul 07 2023
Agent-Based Models (Part 1) John Carlos Baez Thu Jul 06 2023
Conditional Probability Owen Lynch Sun Jul 02 2023
Compositional System Dynamics for Public Health John Carlos Baez Sat Jun 24 2023
ACT 2023 — Registration John Carlos Baez Fri Jun 23 2023
Acsets with variables Owen Lynch Tue Jun 20 2023
Modes (Part 4) John Carlos Baez Mon Jun 19 2023
Modes (Part 3) John Carlos Baez Sun Jun 18 2023
Diberyllocene John Carlos Baez Fri Jun 16 2023
Seminar on Applied Category Theory John Carlos Baez Thu Jun 08 2023
Why is academic writing so bad? Evan Patterson Thu Jun 08 2023
The R programming language: The good, the bad, and the ugly Evan Patterson Thu Jun 08 2023
The role of abstraction in applied math Evan Patterson Thu Jun 08 2023
Book review: Indiscrete Thoughts by Gian-Carlo Rota Evan Patterson Thu Jun 08 2023
Elements of the scientific stance Evan Patterson Thu Jun 08 2023
Book review: Representation and Invariance of Scientific Structures by Patrick Suppes Evan Patterson Thu Jun 08 2023
Classic style and mathematical writing Evan Patterson Thu Jun 08 2023
Book review: Dynamical Biostatistical Models by Commenges and Jacqmin-Gadda Evan Patterson Thu Jun 08 2023
Outer sep and inner sep Owen Lynch Thu Jun 08 2023
Differential forms, reverse derivatives and machine learning Matteo Capucci Thu Jun 08 2023
Open cybernetics systems I: feedback systems as optics Matteo Capucci Thu Jun 08 2023
Open cybernetic systems II: parametrised optics and agency Matteo Capucci Thu Jun 08 2023
Optics in three acts Matteo Capucci Thu Jun 08 2023
Tips on learning how to write proofs Matteo Capucci Thu Jun 08 2023
Enriched categories for language models Matteo Capucci Thu Jun 08 2023
Mathematicians don’t care about foundations Matteo Capucci Thu Jun 08 2023
Grrr(othendieck) fibrations Matteo Capucci Thu Jun 08 2023
The unreasonable effectiveness of social structures Matteo Capucci Thu Jun 08 2023
A personal prospect of categorical cybernetics Matteo Capucci Thu Jun 08 2023
Dinatural transformations Bruno Gavranović Thu Jun 08 2023
Towards Categorical Foundations of Learning Bruno Gavranović Thu Jun 08 2023
Riding upon the fields on the horse of mathematics Bruno Gavranović Thu Jun 08 2023
Meta-learning and Monads Bruno Gavranović Thu Jun 08 2023
Lenses to the left of me, Prisms to the right Bruno Gavranović Thu Jun 08 2023
Optics vs Lenses, Operationally Bruno Gavranović Thu Jun 08 2023
Graph Convolutional Neural Networks as Parametric CoKleisli morphisms Bruno Gavranović Thu Jun 08 2023
Two kinds of Prisms Bruno Gavranović Thu Jun 08 2023
Mathematicians and Ant Trails Owen Lynch Tue Jun 06 2023
Seminar on Applied Category Theory John Carlos Baez Mon Jun 05 2023
The Future of Physics John Carlos Baez Wed May 31 2023
Galois’ Fatal Duel John Carlos Baez Tue May 30 2023
State-dependent regulatory networks via sheaves Owen Lynch Mon May 22 2023
Introduction to Introduction to Mathematical Systems Theory Owen Lynch Wed May 17 2023
Data structures with holes Owen Lynch Tue May 16 2023
Continuation passing style and compile-time computation Owen Lynch Fri May 12 2023
Multicategories vs. monoidal categories Owen Lynch Wed May 10 2023
Symmetric Spaces and the Tenfold Way John Carlos Baez Wed May 10 2023
Cold-Resistant Trees John Carlos Baez Tue May 09 2023
Strictification of 2-monads Owen Lynch Tue May 09 2023
Symbolic presentations of dynamical systems Owen Lynch Mon May 08 2023
Hume and Poly Owen Lynch Mon May 08 2023
Variable-first probability theory Owen Lynch Sun May 07 2023
About the Learning category Owen Lynch Sun May 07 2023
Nominal typing vs. structural typing Owen Lynch Fri May 05 2023
Categories for Epidemiology John Carlos Baez Fri May 05 2023
Categories in Epidemiology John Carlos Baez Fri May 05 2023
Big O Notation --- enriched categorically David Jaz Myers Wed May 03 2023
Compositional Epidemiology John Carlos Baez Tue May 02 2023
The Bebop Major Scale John Carlos Baez Sun Apr 30 2023
Bosons, Fermions and Clifford Algebras John Carlos Baez Wed Apr 26 2023
Category Theory is like Java Owen Lynch Tue Apr 25 2023
Capturing syntax trees Owen Lynch Sun Apr 23 2023
The Lydian Dominant Scale John Carlos Baez Fri Apr 21 2023
Equivalence relations via idempotent endomorphisms Owen Lynch Fri Apr 21 2023
Kaktovik Numerals John Carlos Baez Mon Apr 17 2023
About the Meta category Owen Lynch Mon Apr 17 2023
LocalCharts Docs Owen Lynch Sun Apr 16 2023
Euler John Carlos Baez Sat Apr 15 2023
Nested wiring diagrams via bicomodules Owen Lynch Fri Apr 14 2023
Graphs and C-sets I: What is a graph? Owen Lynch Fri Apr 14 2023
On the implementation of C-sets Owen Lynch Fri Apr 14 2023
Modeling frameworks: What is a scientific model? Owen Lynch Fri Apr 14 2023
Graphs and C-sets II: Half-edges and rotation systems Owen Lynch Fri Apr 14 2023
The categorical scoop on attributed C-sets Owen Lynch Fri Apr 14 2023
Compositional epidemiological modeling using structured cospans Owen Lynch Fri Apr 14 2023
A categorical approach to scientific data management Owen Lynch Fri Apr 14 2023
Compositional epidemiological modeling using structured cospans, part 2 Owen Lynch Fri Apr 14 2023
C-sets for data analysis: relational data and conjunctive queries Owen Lynch Fri Apr 14 2023
Composing open dynamical systems I: Directed composition Owen Lynch Fri Apr 14 2023
Composing open dynamical systems II: Undirected composition Owen Lynch Fri Apr 14 2023
Graphs and C-sets III: Reflexive graphs and C-set homomorphisms Owen Lynch Fri Apr 14 2023
Graphs and C-sets IV: The propositional logic of subgraphs and sub-C-sets Owen Lynch Fri Apr 14 2023
Equality vs equivalence: computing isomorphism classes of C-sets Owen Lynch Fri Apr 14 2023
The chase: data repair and logical reasoning Owen Lynch Fri Apr 14 2023
Using categorical logic for AI planning Owen Lynch Fri Apr 14 2023
Algebraic geometry for the working programmer Owen Lynch Fri Apr 14 2023
Kignits John Carlos Baez Wed Apr 05 2023
ACT 2023 — Submissions John Carlos Baez Tue Apr 04 2023
Typed References Owen Lynch Mon Apr 03 2023
About the Research category Owen Lynch Sat Apr 01 2023
Quasi-borel spaces and the Lotteries monad Owen Lynch Thu Mar 30 2023
Dividing a Square into 7 Similar Rectangles John Carlos Baez Wed Mar 29 2023
Azimuth Project News John Carlos Baez Wed Mar 29 2023
Runaway Supermassive Black Hole John Carlos Baez Wed Mar 29 2023
The Fermi Bubbles John Carlos Baez Wed Mar 29 2023
X-Ray Chimneys John Carlos Baez Wed Mar 29 2023
Scorpius X-1 John Carlos Baez Wed Mar 29 2023
The Vela Pulsar John Carlos Baez Wed Mar 29 2023
The Galactic Center John Carlos Baez Wed Mar 29 2023
Four ‘Universes’ John Carlos Baez Wed Mar 29 2023
Chemistry and Invariant Theory John Carlos Baez Wed Mar 29 2023
Tips and Tricks Owen Lynch Mon Mar 27 2023
The road to public Owen Lynch Sat Mar 25 2023
Call for content! Owen Lynch Sat Mar 25 2023
Logo Selection! Owen Lynch Sat Mar 25 2023
About the General category system Fri Mar 24 2023