|
The universal property of morphism composition
|
|
1
|
16
|
October 15, 2024
|
|
Taking nonlogical concepts seriously
|
|
0
|
15
|
October 11, 2024
|
|
Compositional epidemiological modeling using structured cospans
|
|
2
|
10
|
October 11, 2024
|
|
On the implementation of C-sets
|
|
0
|
4
|
October 10, 2024
|
|
Modeling frameworks: What is a scientific model?
|
|
0
|
2
|
October 10, 2024
|
|
Graphs and C-sets II: Half-edges and rotation systems
|
|
0
|
0
|
October 10, 2024
|
|
The categorical scoop on attributed C-sets
|
|
0
|
2
|
October 10, 2024
|
|
A categorical approach to scientific data management
|
|
0
|
1
|
October 10, 2024
|
|
Compositional epidemiological modeling using structured cospans, part 2
|
|
0
|
0
|
October 10, 2024
|
|
C-sets for data analysis: relational data and conjunctive queries
|
|
0
|
0
|
October 10, 2024
|
|
Composing open dynamical systems I: Directed composition
|
|
0
|
1
|
October 10, 2024
|
|
Composing open dynamical systems II: Undirected composition
|
|
0
|
0
|
October 10, 2024
|
|
Graphs and C-sets III: Reflexive graphs and C-set homomorphisms
|
|
0
|
1
|
October 10, 2024
|
|
Graphs and C-sets IV: The propositional logic of subgraphs and sub-C-sets
|
|
0
|
0
|
October 10, 2024
|
|
Equality vs equivalence: computing isomorphism classes of C-sets
|
|
0
|
1
|
October 10, 2024
|
|
The chase: data repair and logical reasoning
|
|
0
|
1
|
October 10, 2024
|
|
Using categorical logic for AI planning
|
|
0
|
1
|
October 10, 2024
|
|
Algebraic geometry for the working programmer
|
|
0
|
2
|
October 10, 2024
|
|
Symbolic presentations of dynamical systems
|
|
0
|
1
|
October 10, 2024
|
|
Acsets with variables
|
|
0
|
0
|
October 10, 2024
|
|
Agent-based modeling via graph rewriting
|
|
0
|
3
|
October 10, 2024
|
|
Introducing InterTypes
|
|
0
|
4
|
October 10, 2024
|
|
Introducing CatColab
|
|
0
|
16
|
October 3, 2024
|
|
The Space of Physical Frameworks (Part 5)
|
|
0
|
8
|
October 2, 2024
|
|
Closure-Free Functional Programming in a Two-Level Type Theory
|
|
0
|
14
|
September 29, 2024
|
|
Collaborative Text Editing with Eg-walker: Better, Faster, Smaller
|
|
0
|
16
|
September 27, 2024
|
|
The Space of Physical Frameworks (Part 4)
|
|
0
|
13
|
September 16, 2024
|
|
The Space of Physical Frameworks (Part 3)
|
|
0
|
8
|
September 11, 2024
|
|
The Space of Physical Frameworks (Part 2)
|
|
0
|
9
|
September 8, 2024
|
|
GADTs as Prolog
|
|
0
|
29
|
September 6, 2024
|