Seminar on Applied Algebra and Geometry
Tuesday, December 05, 2017 at 5:30pm to 6:30pm
Speaker: David Spivak, MIT
Title: Diagrams for tensor networks and systems of nonlinear equations
Abstract: The same category-theoretic formalism describes both tensor networks and systems of nonlinear relations (including nonlinear equations, inequalities, etc.). More precisely, there is an operad, called Cospan, for which both tensor networks and nonlinear systems are algebras. A morphism between these algebras provides a method for approximating solutions to nonlinear systems using tensor arithmetic. I will explain these ideas, not assuming any background in category theory.