|
About the Forest category
|
|
0
|
61
|
January 16, 2024
|
|
Forester for the Woodland Skeptic
|
|
12
|
357
|
July 31, 2024
|
|
Logic via hyperdoctrines: equivalence relation example
|
|
1
|
101
|
June 20, 2024
|
|
The Whitney map, or how to stopy worrying and love discrete differential forms
|
|
1
|
123
|
May 6, 2024
|
|
Comma objects in general
|
|
1
|
97
|
April 26, 2024
|
|
Solutions of multi-domain multi-physics problems
|
|
1
|
86
|
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
|
183
|
April 24, 2024
|
|
Multi-domain multi-physics?!
|
|
1
|
95
|
April 17, 2024
|
|
Pattern Runs on Matter
|
|
1
|
120
|
March 31, 2024
|
|
Wild coproducts in the category of simple lenses
|
|
0
|
119
|
March 7, 2024
|
|
Dependent optics
|
|
0
|
110
|
March 6, 2024
|
|
Formal and Informal Collaboration
|
|
1
|
122
|
March 4, 2024
|
|
Notes for Davidad's Second ARIA Workshop
|
|
0
|
181
|
March 4, 2024
|
|
On Debugging and Errors
|
|
5
|
183
|
February 20, 2024
|
|
Double Category Theory from a Double Categorical Perspective
|
|
8
|
248
|
February 8, 2024
|
|
Entropy: the chain rule in terms of monad algebras
|
|
2
|
179
|
January 29, 2024
|
|
Two Perspectives on Data Definition
|
|
0
|
118
|
January 23, 2024
|
|
Structured Data: A Principled Approach
|
|
0
|
160
|
January 17, 2024
|