Source author record

Simon Wadsley

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
4topics
2close collaborators

Published work

3 publications

preprint2015arXiv

PROPs for Linear Systems

A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from mm to nn in a PROP can be visualized as a string diagram with mm input wires and nn output wires. For a field kk, the PROP FinVectk\mathrm{FinVect}_k where morphisms are kk-linear maps is used by Baez and Erbele to study signal-flow diagrams. We aim to generalize their result characterizing this PROP in terms of generators and relations by looking at the PROP Mat(R)\mathrm{Mat}(R) of matrices of values in RR, where RR is a commutative rig (that is, a generalization of a ring where the condition that each element has an additive inverse is relaxed). To this end, we show that the category of symmetric monoidal functors out of Mat(R)\mathrm{Mat}(R) is equivalent to the category of bicommutative bimonoids equipped with a certain map of rigs; such functors are called algebras. By choosing RR correctly, we will see that the algebras of the PROP FinSpan\mathrm{FinSpan} of finite sets and spans between them are bicommutative bimonoids, while the algebras of the PROP FinRel\mathrm{FinRel} of finite sets and relations between them are special bicommuative bimonoids and the algebras of Mat(Z)\mathrm{Mat}(\mathbb Z) are bicommutative Hopf monoids.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.