a compositional approach to networks
play

A compositional approach to networks Brendan Fong, University of - PowerPoint PPT Presentation

A compositional approach to networks Brendan Fong, University of Oxford Southampton ECS Seminar 4 February 2015 The big picture Network-style diagrammatic languages have developed to represent and reason about many different sciences: Why?


  1. A compositional approach to networks Brendan Fong, University of Oxford Southampton ECS Seminar 4 February 2015

  2. The big picture Network-style diagrammatic languages have developed to represent and reason about many different sciences: Why? Can we formalise their key features and relationships? Can we unify them?

  3. The big picture Network-style diagrammatic languages have developed to represent and reason about many different sciences: Why? Can we formalise their key features and relationships? Can we unify them?

  4. The big picture Jan C. Willems: . . . classical system-theoretic thinking is unsuitable for dealing. . . with the basic tenets at which system theory aims, namely, open and interconnected systems . The behavioural approach to open and interconnected systems, 2007. Joseph Goguen: Following clues from systems engineering, general systems theory and cybernetics. . . I decided that the most general concepts of engineering might be system, behavior, and interconnection . . . Tossing algebraic flowers down the great divide, 1999.

  5. The big picture Jan C. Willems: . . . classical system-theoretic thinking is unsuitable for dealing. . . with the basic tenets at which system theory aims, namely, open and interconnected systems . The behavioural approach to open and interconnected systems, 2007. Joseph Goguen: Following clues from systems engineering, general systems theory and cybernetics. . . I decided that the most general concepts of engineering might be system, behavior, and interconnection . . . Tossing algebraic flowers down the great divide, 1999.

  6. Categories ◦ Categories are a great algebraic framework for discussing interconnection, or composition. They first arose in the 1940s in algebraic topology. ◦ From the 1980s, it became clear they had a role to play in formalising uses of string/network diagrams, such as Feynman diagrams:

  7. Categories ◦ Categories are a great algebraic framework for discussing interconnection, or composition. They first arose in the 1940s in algebraic topology. ◦ From the 1980s, it became clear they had a role to play in formalising uses of string/network diagrams, such as Feynman diagrams:

  8. Categories ◦ Categories are a great algebraic framework for discussing interconnection, or composition. They first arose in the 1940s in algebraic topology. ◦ From the 1980s, it became clear they had a role to play in formalising uses of string/network diagrams, such as Feynman diagrams:

  9. Categories ◦ A category C is the structure of one-dimensional flow charts. ◦ They comprise objects , or types : X , Y , etc . together with morphisms between these types: f X Y ◦ We can compose morphisms of matching types to get new morphisms: g f Y Z h X W The composition rule must have such pictures unambiguously describe a morphism.

  10. Categories ◦ A category C is the structure of one-dimensional flow charts. ◦ They comprise objects , or types : X , Y , etc . together with morphisms between these types: f X Y ◦ We can compose morphisms of matching types to get new morphisms: g f Y Z h X W The composition rule must have such pictures unambiguously describe a morphism.

  11. Categories ◦ A category C is the structure of one-dimensional flow charts. ◦ They comprise objects , or types : X , Y , etc . together with morphisms between these types: f X Y ◦ We can compose morphisms of matching types to get new morphisms: g f Y Z h X W The composition rule must have such pictures unambiguously describe a morphism.

  12. Categories ◦ There are various types of categories that allow extra operations. ◦ A monoidal category is the structure of two-dimensional flow charts. f W X X h X Z k g V Y V The key point is that we have a notion of ‘parallel’ or tensor composition. ◦ A symmetric monoidal category further allows you to cross wires: X Y Y X

  13. Categories ◦ There are various types of categories that allow extra operations. ◦ A monoidal category is the structure of two-dimensional flow charts. f W X X h X Z k g V Y V The key point is that we have a notion of ‘parallel’ or tensor composition. ◦ A symmetric monoidal category further allows you to cross wires: X Y Y X

  14. Categories ◦ There are various types of categories that allow extra operations. ◦ A monoidal category is the structure of two-dimensional flow charts. f W X X h X Z k g V Y V The key point is that we have a notion of ‘parallel’ or tensor composition. ◦ A symmetric monoidal category further allows you to cross wires: X Y Y X

  15. Categories ◦ A functor F : C → D is a map between categories. ◦ It turns morphisms f X Y in C into morphisms Ff FX FY in D . This assignment must preserve composition. That is, the diagram Ff FY Fg FX FZ must be unambiguous.

  16. Categories ◦ A functor F : C → D is a map between categories. ◦ It turns morphisms f X Y in C into morphisms Ff FX FY in D . This assignment must preserve composition. That is, the diagram Ff FY Fg FX FZ must be unambiguous.

  17. � � � Categories ◦ Guiding principle : each diagrammatic language draws morphisms in some symmetric monoidal category. ◦ In this talk we will consider symmetric monoidal categories of electrical circuits , signal flow graphs , and their behaviours , and functors between them: Circ SigFlow LinRel (This is known as a commutative diagram.)

  18. � � � Categories ◦ Guiding principle : each diagrammatic language draws morphisms in some symmetric monoidal category. ◦ In this talk we will consider symmetric monoidal categories of electrical circuits , signal flow graphs , and their behaviours , and functors between them: Circ SigFlow LinRel (This is known as a commutative diagram.)

  19. � � � Categories ◦ Guiding principle : each diagrammatic language draws morphisms in some symmetric monoidal category. ◦ In this talk we will consider symmetric monoidal categories of electrical circuits , signal flow graphs , and their behaviours , and functors between them: Circ SigFlow LinRel (This is known as a commutative diagram.)

  20. Circuits ◦ A (closed) circuit, for us, is a graph with edges labelled by resistances. 2 Ω 3 Ω 1 Ω 1 Ω ◦ Given potentials on each node, the circuit induces pointwise currents. The behaviour of a circuit is the collection of possible potential–current readings. ◦ For linear resistors, this is governed by Ohm’s law : the induced current along an edge is equal to its potential difference divided by its resistance. Letting N be the set of nodes, the behaviour is thus a linear subspace of R N ⊕ R N .

  21. Circuits ◦ A (closed) circuit, for us, is a graph with edges labelled by resistances. 2 Ω 3 Ω 1 Ω 1 Ω ◦ Given potentials on each node, the circuit induces pointwise currents. The behaviour of a circuit is the collection of possible potential–current readings. ◦ For linear resistors, this is governed by Ohm’s law : the induced current along an edge is equal to its potential difference divided by its resistance. Letting N be the set of nodes, the behaviour is thus a linear subspace of R N ⊕ R N .

  22. Circuits ◦ A (closed) circuit, for us, is a graph with edges labelled by resistances. 2 Ω 3 Ω 1 Ω 1 Ω ◦ Given potentials on each node, the circuit induces pointwise currents. The behaviour of a circuit is the collection of possible potential–current readings. ◦ For linear resistors, this is governed by Ohm’s law : the induced current along an edge is equal to its potential difference divided by its resistance. Letting N be the set of nodes, the behaviour is thus a linear subspace of R N ⊕ R N .

  23. Circuits But what about interconnections of circuits? To compose circuits, we first mark input and output terminals : 2 Ω 3 Ω 1 Ω 1 Ω

  24. Circuits But what about interconnections of circuits? To compose circuits, we first mark input and output terminals : 2 Ω 3 Ω 1 Ω 1 Ω

  25. Circuits But what about interconnections of circuits? To compose circuits, we first mark input and output terminals : 2 Ω 3 Ω 1 Ω 1 Ω X Y

  26. Circuits Then compose by gluing along identified points: 2 Ω 5 Ω 3 Ω 1 Ω 1 Ω 8 Ω X Y Z ⇓ 5 Ω 2 Ω 3 Ω 8 Ω 1 Ω 1 Ω X Z

  27. Circuits Then compose by gluing along identified points: 2 Ω 5 Ω 3 Ω 1 Ω 1 Ω 8 Ω X Y Z ⇓ 5 Ω 2 Ω 3 Ω 8 Ω 1 Ω 1 Ω X Z

  28. Circuits Then compose by gluing along identified points: 2 Ω 5 Ω 3 Ω 1 Ω 1 Ω 8 Ω X Y Z ⇓ 5 Ω 2 Ω 3 Ω 8 Ω 1 Ω 1 Ω X Z

  29. Circuits We also have monoidal composition, by placing circuits side-by-side: 2 Ω 2 Ω 3 Ω 1 Ω 1 Ω 3 Ω 1 Ω 1 Ω ⇒ X Y ⊗ 5 Ω 5 Ω 1 Ω 1 Ω X + X ′ Y + Y ′ X ′ Y ′

  30. Circuits We also have monoidal composition, by placing circuits side-by-side: 2 Ω 2 Ω 3 Ω 1 Ω 1 Ω 3 Ω 1 Ω 1 Ω ⇒ X Y ⊗ 5 Ω 5 Ω 1 Ω 1 Ω X + X ′ Y + Y ′ X ′ Y ′

  31. Circuits We also have monoidal composition, by placing circuits side-by-side: 2 Ω 2 Ω 3 Ω 1 Ω 1 Ω 3 Ω 1 Ω 1 Ω ⇒ X Y ⊗ 5 Ω 5 Ω 1 Ω 1 Ω X + X ′ Y + Y ′ X ′ Y ′

Recommend


More recommend