On: Automatic Differentiation in Machine Learning: A S...

[selimthegrim]

I think the dualities in quantum field theory are different from the dualities in optimization but maybe some category theorist can correct me if I’m wrong

[adamnemecek → selimthegrim]

Category theory isn't quite the correct formalism.

[selimthegrim → adamnemecek]

What would be then?

[adamnemecek → selimthegrim]

I like linear logic a lot. Not saying it solves everything but it's easier to understand and you don't really give up much of what category theory has.

Also alternating graphs or game semantics.

These are all related.