|
About the Forest category
|
|
0
|
57
|
January 16, 2024
|
|
Forester for the Woodland Skeptic
|
|
12
|
335
|
July 31, 2024
|
|
Logic via hyperdoctrines: equivalence relation example
|
|
1
|
91
|
June 20, 2024
|
|
The Whitney map, or how to stopy worrying and love discrete differential forms
|
|
1
|
121
|
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
|
178
|
April 24, 2024
|
|
Multi-domain multi-physics?!
|
|
1
|
94
|
April 17, 2024
|
|
Pattern Runs on Matter
|
|
1
|
119
|
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
|
122
|
March 4, 2024
|
|
Notes for Davidad's Second ARIA Workshop
|
|
0
|
180
|
March 4, 2024
|
|
On Debugging and Errors
|
|
5
|
183
|
February 20, 2024
|
|
Double Category Theory from a Double Categorical Perspective
|
|
8
|
228
|
February 8, 2024
|
|
Entropy: the chain rule in terms of monad algebras
|
|
2
|
171
|
January 29, 2024
|
|
Two Perspectives on Data Definition
|
|
0
|
118
|
January 23, 2024
|
|
Structured Data: A Principled Approach
|
|
0
|
157
|
January 17, 2024
|