Source author record

Simon Wadsley

Simon Wadsley appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

3works
4topics
2close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

3 published item(s)

preprint2015arXiv

D-modules on rigid analytic spaces I

We introduce a sheaf of infinite order differential operators D-cap on smooth rigid analytic spaces that is a rigid analytic quantisation of the cotangent bundle. We show that the sections of this sheaf over sufficiently small affinoid varieties are Fréchet-Stein algebras, and use this to define co-admissible sheaves of D-cap-modules. We prove analogues of Cartan's Theorems A and B for co-admissible D-cap-modules.

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 $m$ to $n$ in a PROP can be visualized as a string diagram with $m$ input wires and $n$ output wires. For a field $k$, the PROP $\mathrm{FinVect}_k$ where morphisms are $k$-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 $\mathrm{Mat}(R)$ of matrices of values in $R$, where $R$ 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 $\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 $R$ correctly, we will see that the algebras of the PROP $\mathrm{FinSpan}$ of finite sets and spans between them are bicommutative bimonoids, while the algebras of the PROP $\mathrm{FinRel}$ of finite sets and relations between them are special bicommuative bimonoids and the algebras of $\mathrm{Mat}(\mathbb Z)$ are bicommutative Hopf monoids.