 |
Post Al7SxaeSNoHYP4tDI8 by [email protected] |
 |
More posts by [email protected] |
|
Post #Al7SxaeSNoHYP4tDI8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Skimming Kock's 2006 "Synthetic Differential Geometry", the thing… |
|
|
|
Post #Al7Sxakq05O0irsJEm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
A thing that seems neat about this presentation is (apart from the fact that it… |
|
|
|
Post #Al7SxaqrdgCt1Yh7dA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jcreed i wonder if we could generalize this to lattice meet and join ops or ot… |
|
|
|
Post #Al7Sxb1V08iJYXfcCu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
For example, such a "two-argument derivative" for λx.x⁴ would be �… |
