|
Understanding Sheaves §3
|
|
0
|
19
|
November 7, 2023
|
|
Diagrammatic Equations
|
|
0
|
27
|
November 7, 2023
|
|
Tree Decompositions via Lattices
|
|
0
|
24
|
November 7, 2023
|
|
Storm Babet in Granton Harbour
|
|
0
|
17
|
November 7, 2023
|
|
Just Intonation (Part 2)
|
|
0
|
26
|
November 6, 2023
|
|
Compositional Wizards
|
|
15
|
201
|
November 2, 2023
|
|
Is FinSet the homotopy category of a computationally-nice preorder?
|
|
5
|
93
|
October 31, 2023
|
|
Kart: git-based version control for tabular databases
|
|
0
|
40
|
October 30, 2023
|
|
Just Intonation (Part 1)
|
|
0
|
30
|
October 30, 2023
|
|
Efficient ASTs via Array Systems
|
|
0
|
56
|
October 28, 2023
|
|
Array Systems
|
|
3
|
118
|
October 28, 2023
|
|
Software for Compositional Modeling in Epidemiology
|
|
0
|
56
|
October 25, 2023
|
|
Cartesian double theories
|
|
0
|
64
|
October 21, 2023
|
|
Matrices of Categories, in 3D String Diagrams
|
|
7
|
169
|
October 21, 2023
|
|
GATlab Is Now The Core of Catlab
|
|
2
|
94
|
October 21, 2023
|
|
Balloons: a new state management framework bridging cats-effect and laminar
|
|
1
|
68
|
October 20, 2023
|
|
Perfect Fifths in Equal Tempered Scales (Part 2)
|
|
0
|
50
|
October 19, 2023
|
|
Perfect Fifths in Equal Tempered Scales (Part 1)
|
|
0
|
76
|
October 13, 2023
|
|
Notions of negative dimension
|
|
0
|
62
|
October 13, 2023
|
|
Formalizing Sleeping Beauty
|
|
4
|
117
|
October 12, 2023
|
|
Musing about preference allocation
|
|
0
|
87
|
October 7, 2023
|
|
Relational Composition of Physical Systems: A Categorical Approach
|
|
1
|
67
|
October 11, 2023
|
|
Random sequences as the canonical object in the topos [lott, y]-coalg. How so?
|
|
1
|
62
|
October 11, 2023
|
|
Pythagorean Tuning
|
|
0
|
37
|
October 7, 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
|
|
21
|
343
|
October 6, 2023
|
|
AlgebraicJulia in Lean4?
|
|
11
|
395
|
October 4, 2023
|
|
The Type of Acute Triangles
|
|
2
|
84
|
October 4, 2023
|
|
Spans in Manifold
|
|
7
|
101
|
October 1, 2023
|
|
Lectures on Applied Category Theory
|
|
0
|
58
|
September 28, 2023
|
|
Learning Resources for Applied Category Theory
|
|
11
|
1151
|
September 27, 2023
|