|
C-sets for data analysis: relational data and conjunctive queries
|
|
0
|
10
|
October 10, 2024
|
|
Composing open dynamical systems I: Directed composition
|
|
0
|
13
|
October 10, 2024
|
|
Composing open dynamical systems II: Undirected composition
|
|
0
|
6
|
October 10, 2024
|
|
Graphs and C-sets III: Reflexive graphs and C-set homomorphisms
|
|
0
|
3
|
October 10, 2024
|
|
Graphs and C-sets IV: The propositional logic of subgraphs and sub-C-sets
|
|
0
|
1
|
October 10, 2024
|
|
Equality vs equivalence: computing isomorphism classes of C-sets
|
|
0
|
3
|
October 10, 2024
|
|
The chase: data repair and logical reasoning
|
|
0
|
4
|
October 10, 2024
|
|
Using categorical logic for AI planning
|
|
0
|
11
|
October 10, 2024
|
|
Algebraic geometry for the working programmer
|
|
0
|
8
|
October 10, 2024
|
|
Symbolic presentations of dynamical systems
|
|
0
|
5
|
October 10, 2024
|
|
Acsets with variables
|
|
0
|
5
|
October 10, 2024
|
|
Agent-based modeling via graph rewriting
|
|
0
|
14
|
October 10, 2024
|
|
Introducing InterTypes
|
|
0
|
5
|
October 10, 2024
|
|
Introducing CatColab
|
|
0
|
30
|
October 3, 2024
|
|
The Space of Physical Frameworks (Part 2)
|
|
0
|
10
|
September 8, 2024
|
|
GADTs as Prolog
|
|
0
|
46
|
September 6, 2024
|
|
Open curricula and assessment tools workshop in Kisumu
|
|
0
|
11
|
September 6, 2024
|
|
Narya ProofGeneral Setup
|
|
0
|
26
|
September 3, 2024
|
|
The Space of Physical Frameworks (Part 1)
|
|
0
|
27
|
September 1, 2024
|
|
Postdoc job openings in Topos Oxford, UK
|
|
0
|
15
|
August 30, 2024
|
|
Plausible fiction
|
|
0
|
17
|
August 28, 2024
|
|
Thoughts on Forester: A Scientist's Zettelkasten
|
|
4
|
218
|
August 28, 2024
|
|
Wiring diagrams for Mealy machines
|
|
0
|
26
|
August 19, 2024
|
|
Bernoulli Numbers and the Harmonic Oscillator
|
|
0
|
27
|
August 16, 2024
|
|
A polynomial account of Bayesian update
|
|
0
|
38
|
August 12, 2024
|
|
Rethink math talks
|
|
0
|
34
|
August 2, 2024
|
|
Agent-Based Models (Part 14)
|
|
0
|
34
|
August 1, 2024
|
|
CT for all : we can make a Universal Knowledge Interface
|
|
3
|
223
|
August 1, 2024
|
|
The Age of Proofs is over, the Time of the Definition has come
|
|
0
|
101
|
July 30, 2024
|
|
Our Summer Research Associates in 2024
|
|
0
|
29
|
July 29, 2024
|