|
About the Forest category
|
|
0
|
35
|
January 16, 2024
|
|
Comma objects in general
|
|
1
|
28
|
April 26, 2024
|
|
Solutions of multi-domain multi-physics problems
|
|
1
|
21
|
April 25, 2024
|
|
Lax and Colax Diagram Categories as Charts and Lenses
|
|
6
|
75
|
April 24, 2024
|
|
Convex optimization with a categorical point of view
|
|
8
|
74
|
April 24, 2024
|
|
Multi-domain multi-physics?!
|
|
1
|
47
|
April 17, 2024
|
|
Pattern Runs on Matter
|
|
1
|
79
|
March 31, 2024
|
|
Forester for the Woodland Skeptic
|
|
9
|
180
|
March 13, 2024
|
|
Wild coproducts in the category of simple lenses
|
|
0
|
80
|
March 7, 2024
|
|
Dependent optics
|
|
0
|
74
|
March 6, 2024
|
|
Formal and Informal Collaboration
|
|
1
|
93
|
March 4, 2024
|
|
Notes for Davidad's Second ARIA Workshop
|
|
0
|
131
|
March 4, 2024
|
|
On Debugging and Errors
|
|
5
|
149
|
February 20, 2024
|
|
Double Category Theory from a Double Categorical Perspective
|
|
8
|
154
|
February 8, 2024
|
|
Entropy: the chain rule in terms of monad algebras
|
|
2
|
114
|
January 29, 2024
|
|
Two Perspectives on Data Definition
|
|
0
|
90
|
January 23, 2024
|
|
Structured Data: A Principled Approach
|
|
0
|
103
|
January 17, 2024
|