3 ms·
The structure of various ML primitives can be considered and under CT. Doubly so since in many cases you can in fact "go backwards" through a ML structure in a
by KirinDave 8y ago
The structure of various ML primitives can be considered and under CT. Doubly so since in many cases you can in fact "go backwards" through a ML structure in a way normal functions can't, meaning that categorical duals might have more useful interpretations in your world.
So if anything, it might be MORE applicable for composing ML networks.
- eru 8y agoYes. And other bits commonly associated with functional programming should also work together really well with ML. After all, most ML models are explicitly thought about as a composition of layers (ie functions). But so far, the best ML libraries can be found in impure / imperative languages like Python.
- formalsystem 8y agoIs there any paper or book you like that covers this topic in more depth?
- KirinDave 8y agoJust look for introductions to duality in math and category theory. It's not the sort of subject that'll be broken out individually, but rather an assumed consequence.