A monad is just a monoid in the category of endofunctors, what’s the problem?

Okay, but what’s the point of looking at monoids in the category of endofunctors?

Recall that if is a monoid in a monoidal category , then we can talk about a module over : it’s an object equipped with an action map

satisfying some axioms. But this is clearly not the most general notion of action of a monoid we can think of. For example, we know what it means for an ordinary monoid , in , to act on the objects of any category whatsoever (we just want a monoid homomorphism ), and that notion of monoid action isn’t subsumed by this definition.

Here’s something more general that comes closer. It’s not necessary that and live in the same category. Instead, can live in a monoidal category while lives in a category equipped with the structure of a module category over . In particular this means that there is an action functor

with some extra structure satisfying some axioms. This allows us to make sense of as an object in and hence to make sense of an action map as before, and even to state the usual axioms. (Another instance of the microcosm principle.)

Now, fix . What is the most general monoidal category over which is a module category? Of course, it’s the monoidal category of endofunctors of . Hence the most general kind of monoid that can act on an object in is a monoid in , or equivalently a monad.

In fact, since an action of a monoidal category on can be described as a monoidal functor , any action of a monoid on an object in the sense described above naturally factors through an action of a monad.

Example. Any cocomplete category is naturally a module category over with the action given by

.

More precisely, in this situation we say that is tensored over (which is in some sense dual to being enriched over ). This lets us describe what it means for a monoid in to act on an object .

Example. Any symmetric monoidal cocomplete category (this includes the hypothesis that the monoidal operation distributes over colimits) is naturally a module category over the monoidal category (see this blog post) of species (equipped with the composition product ) with the action given by

where denotes, as above, , and denotes the quotient of this by the diagonal action of .

This lets us describe what it means for a monoid in to act on an object . And a monoid in is precisely an operad.

Advertisements

Read Full Post »

String diagrams, duality, and trace

Previously we introduced string diagrams and saw that they were a convenient way to talk about tensor products, partial compositions of multilinear maps, and symmetries. But string diagrams really prove their use when augmented to talk about duality, which will be described topologically by bending input and output wires. In particular, we will be able to see topologically the sense in which the following four pieces of information are equivalent:

• A linear map ,
• A linear map ,
• A linear map ,
• A linear map .

Using string diagrams we will also give a diagrammatic definition of the trace of an endomorphism of a finite-dimensional vector space, as well as a diagrammatic proof of some of its basic properties.

Below all vector spaces are finite-dimensional and the composition convention from the previous post is still in effect.

Read Full Post »

Introduction to string diagrams

Today I would like to introduce a diagrammatic notation for dealing with tensor products and multilinear maps. The basic idea for this notation appears to be due to Penrose. It has the advantage of both being widely applicable and easier and more intuitive to work with; roughly speaking, computations are performed by topological manipulations on diagrams, revealing the natural notation to use here is 2-dimensional (living in a plane) rather than 1-dimensional (living on a line).

For the sake of accessibility we will restrict our attention to vector spaces. There are category-theoretic things happening in this post but we will not point them out explicitly. We assume familiarity with the notion of tensor product of vector spaces but not much else.

Below the composition of a map with a map will be denoted (rather than the more typical ). This will make it easier to translate between diagrams and non-diagrams. All diagrams were drawn in Paper.

Read Full Post »

Banach spaces (and Lawvere metrics, and closed categories)

One annoying feature of the abstract theory of vector spaces, and one that often trips up beginners, is that it is not possible to make sense of an infinite sum of vectors in general. If we want to make sense of infinite sums, we should probably define them as limits of finite sums, so rather than work with bare vector spaces we need to work with topological vector spaces over a topological field, usually or (but sometimes fields like are also considered, e.g. in number theory). Common and important examples include spaces of continuous or differentiable functions.

Today we’ll discuss a class of topological vector spaces which is convenient to work with but which still covers many examples of interest, namely Banach spaces. The material in the first half of this post is completely standard and can be found in any text on functional analysis.

In the second half of the post we discuss a category of Banach spaces such that two Banach spaces are isomorphic in this category if and only if they are isometrically isomorphic but which still allows us to talk about bounded linear operators between Banach spaces, and to do this we briefly discuss Lawvere metrics; this material can be found on the nLab.

Read Full Post »