|
About the Forest category
|
|
0
|
54
|
January 16, 2024
|
|
Forester for the Woodland Skeptic
|
|
11
|
266
|
July 9, 2024
|
|
Logic via hyperdoctrines: equivalence relation example
|
|
1
|
82
|
June 20, 2024
|
|
The Whitney map, or how to stopy worrying and love discrete differential forms
|
|
1
|
117
|
May 6, 2024
|
|
Comma objects in general
|
|
1
|
97
|
April 26, 2024
|
|
Solutions of multi-domain multi-physics problems
|
|
1
|
84
|
April 25, 2024
|
|
Lax and Colax Diagram Categories as Charts and Lenses
|
|
6
|
135
|
April 24, 2024
|
|
Convex optimization with a categorical point of view
|
|
8
|
175
|
April 24, 2024
|
|
Multi-domain multi-physics?!
|
|
1
|
93
|
April 17, 2024
|
|
Pattern Runs on Matter
|
|
1
|
118
|
March 31, 2024
|
|
Wild coproducts in the category of simple lenses
|
|
0
|
117
|
March 7, 2024
|
|
Dependent optics
|
|
0
|
108
|
March 6, 2024
|
|
Formal and Informal Collaboration
|
|
1
|
121
|
March 4, 2024
|
|
Notes for Davidad's Second ARIA Workshop
|
|
0
|
178
|
March 4, 2024
|
|
On Debugging and Errors
|
|
5
|
183
|
February 20, 2024
|
|
Double Category Theory from a Double Categorical Perspective
|
|
8
|
217
|
February 8, 2024
|
|
Entropy: the chain rule in terms of monad algebras
|
|
2
|
167
|
January 29, 2024
|
|
Two Perspectives on Data Definition
|
|
0
|
118
|
January 23, 2024
|
|
Structured Data: A Principled Approach
|
|
0
|
157
|
January 17, 2024
|