So should we merge this with PRO now? —Toby
Yes. However, not knowing what is standard and what isn’t, I’m not sure I could do that merge. The stuff on this page is what I want to know about so I don’t want to lose any of it in the merge. —Andrew
Understood. I'm not sure how to do it either, but I'll think about it. —Toby
I should say that if any of this doesn’t fit in the merge then I’m happy for it to find a home elsewhere. My main purpose in scribbling this lot is to find out what is and isn’t known so I don’t have to reprove the known stuff just to make use of it. —Andrew
Now I want to wait until Todd figures out what you really want to do here. (^_^) —Toby
The idea is that one tries to “do” universal algebra in a monoidal category by using the monoidal products in place of the standard cartesian ones. The extent to which this is possible is closely related to the extent to which the monoidal product resembles the cartesian product of sets.
Let us consider only finitary theories; that is, with Lawvere theories. In categorical language, recall that a Lawvere theory is a category with finite cartesian products in which every object is isomorphic to a finite cartesian power of a distinguished object. A model for that theory in some category is then a product-preserving functor . In a monoidal category, we can ask for this to be a monoidal functor.
The problem with this naive definition is that as the product in is the cartesian product, it comes along with a whole heap of extra structure that may not be strictly needed. We therefore need to weaken the definition of a Lawvere theory.
It will be important for later to note what is missing between a monoidal Lawvere theory and an ordinary one. The missing components are:
With this definition, we can define a model of such a theory in a monoidal category.
Any Lawvere theory is automatically a monoidal Lawvere theory and so one can consider monoidal models of an ordinary Lawvere theory in a monoidal category. However, as ordinary Lawvere theories have all the extra structure of projections, diagonals, and symmetry, the underlying object (i.e. the image of the distinguished object in the Lawvere theory) needs to have them as well. Indeed, if one were looking for candidates for such models one would be well-advised to look in the subcategories of objects which have such structure. Let us therefore give these names.
Todd: Sorry, I don’t know what you mean by the switcheroo functor for a monoidal category.
There is what is called the center of a monoidal category, which is a braided monoidal category. The center of the center should be symmetric monoidal (although I’d have to think this through again carefully). Comonoids in the center or center of center form a monoidal category, and I’m thinking something like this would be a natural habitat to consider.
Andrew: Knowing that none of my terminology would be right, I let myself get carried away there. Apologies. I mean the functor that swaps the order of the product, namely that takes to . (Actually, now I come to think about it I’m not convinced that such must exist in an arbitrary monoidal category.) What I mean is that if I have a monoidal category then even if it isn’t symmetric, there may still be an object that is itself symmetric. I guess I don’t need the category of such to be symmetric monoidal and I don’t need it to commute with products of other objects, just with itself. So I could still have a commutative monoid in an arbitrary monoidal category.
Or maybe I can’t. Now I write it, it seems a lot more tenuous than when I thought it. It’d be useful to get that clear.
Todd: Not sure I can add anything else useful right now. I don’t think there’s a general switcheroo functor. In some sense a monoidal functor to a monoidal category ought to simulate a cocommutative comonoid in , but I’m not sure how useful an observation this is for you.
Is there a specific setting you have in mind where what you want to do is unproblematic?
Andrew: Yes. I want to do it in the category of models in set of a commutative algebraic theory. Over there, it doesn’t say anything about the monoidal structure being symmetric but I have an inkling that it is. However, not every object is a coalgebra.
(As a little background: I’m returning to some stuff that I thought about a while ago and am trying to finish off, but I don’t remember all of what I thought when I originally thought about it which is why I’m not as clear as I would like to be)
Toby: Even in a symmetric monoidal category, I don't know how to define a functor that takes to . Of course, there is a functor that takes to , but that doesn't help as far as I can see.
There's an inherent problem with considering the largest (or any) symmetric subcategory of a given monoidal category, which is that being symmetric is not a property but a structure on a monoidal category. So it's more like looking for the largest commutative submonoid of a given set than looking for the largest commutative submonoid of a given monoid.
Even if that worked, I wouldn't understand the full subcategory of CAU comonoids, since again being a CAU comonoid is not a property but a structure on an object in a given symmetric monoidal category. This is like asking for the full subcategory of consisting of groups; it doesn't parse. At best, I would understand this as the full subcategory of sets that have at least one group structure, but you're no longer keeping track of that structure (and in fact, at least assuming the axiom of choice, this is just , which has nothing much to do with groups at all).
Andrew: Okay, let me be absolutely specific here. I was trying to get at the general story first, but that’s the wrong way round for here (it’s the right way round for the paper, but that’s once I’ve understood what the general story is!).
This is tied up with Tall-Wraith monoids. If you start with a set and take the free ring on that set, then that’s again a biring (co-ring object in rings). Now start with abelian groups instead. If you take the free ring on an abelian group, then that’s not a biring, but still has a certain amount of co-structure because a ring is a monoid in . To make it a biring, I need to start with a coalgebra - that’s enough to supply the missing pieces of the co-structure.
Furthermore, if I wish to interpret the resulting biring as representing a functor from abelian groups to rings, then I can only do so on the subcategory of coalgebras - but I need to take abelian group homs not coalgebra homs.
Toby: H'm, this is odd. I still don't know exactly what the ‘subcategory’ of coalgebras is, since being a coalgebra is not a property of an abelian group. Since the forgetful functor from coalgebras to abelian groups is faithful, you can make it a literal subcategory up to equivalence, then consider the corresponding full subcategory; or (equivalently) just take the category whose objects are coalgebras and whose morphisms are homomorphisms of the underlying abelian groups. (In general, this concept is the full image of a functor; here we are taking the full image of the forgetful functor from coalgebras to abelian groups.)
But I don't understand why you need to use this instead of simply the category of coalgebras. After all, if you have a functor from the full image, then you certainly have a functor from the category of coalgebras by composing with the inclusion functor of coalgebras into the full image. On the other hand, it seems very strange that you can define this functor on arbitrary abelian group homomorphisms. Applying this to abelian group isomorphisms, you are basically saying that, if you start with two different coalgebra structures on a given abelian group, the resulting birings will be isomorphic. Is that true?
Andrew — Okay, I still wasn’t being completely clear. I do mean the category of coalgebras. But the functor is constructed by taking the composition of the functor from coalgebras to abelian groups and then taking the hom-functor in abelian groups with a biring. So if is a coalgebra and is a biring then I want to consider . That’s again a ring and it’s functorial for coalgebra morphisms.
Phew! “Oh what a tangeled web we weave, when first we practise to understand category theory.”
Toby: OK, so when you wrote ‘I need to take abelian group homs not coalgebra homs’, you weren't still specifying the source of the functor but were instead specifying how that biring represents the functor. Now it makes sense!
This all generalises quite nicely: replace abelian groups by a commutative algebraic theory and replace rings (rather, replace monoids) by a PRO. Then the PRO-objects in the commutative algebraic theory will again be an algebraic theory and the free functor from the commutative theory to the other one has lots of nice properties.
But this felt like it was a specialisation of an even more general story. My mistake was to try to guess the general story first rather than tell you the special case.
(Not that I regard this particularly as a mistake! It was enough to learn about PROs and it’s all part of learning how to ask good questions.)
Todd: Okay, so to pick up the thread again, here is a preliminary observation. Suppose we have an operad (giving rise to a prop ) and a symmetric monoidal closed category (such as the category of abelian groups, or the category of algebras of a commutative monad on ), then a -algebra is essentially the same as a symmetric monoidal functor , and we can define a -coalgebra to be a symmetric monoidal functor . Let and denote the underlying -objects (= values of and at tensor-generating object 1 of ), and let denote internal hom in . Then we can define a -algebra structure with underlying object whose operations
are obtained as composites
where the first map is a canonical map available in any symmetric monoidal closed category. If we denote this -algebra by , then this gives us an actegory action
and in this framework one could go on to consider -bialgebras, etc. I think this is what you were getting at or had observed yourself; Barr touches upon this sort of thing in the paper I mentioned over at CommCoalg or whatever we’re calling it now. I don’t know how well it generalizes to general props or pros.
Thus to be able to consider arbitrary Lawvere theories we need to be in the intersection of and . However, there are many Lawvere theories that do not need such structure. Accordingly we can interpose a finer classification on Lawvere theories according to whether or not they need the symmetric or comonoid structure.
If one is given a presentation of a Lawvere theory in terms of operations and identities, it is quite simple to identify what level of structure it requires. The key is to look at the identities and express them in terms of elements (this is, of course, evil). An identity consists of two ways of applying operations starting with an ordered list of distinct elements.
The passage from the theory of unital, associative monoids to that of abelian groups is a good illustration of all of this. The Lawvere theory of unital, associative monoids has a presentation with 2 operations: one zeroary, , and one binary, , together with the identities:
None of these identities involve swaps, repetitions, or omissions and so this presentation is also of a monoidal Lawvere theory (note that is an operation not an element).
Now let us add in an inverse. That is, a unary operation with the identities:
These involve both a duplication and an omission. The duplication is on the left-hand side in each case, the omission on the right. Note that the starting point for each is the ordered list . Therefore a group object in a monoidal category must lie in the subcategory of comonoids.
Let us forget the inverse for a moment and add in the commutativity identity instead. This is the identity:
This obviously involves a swap, and thus requires a symmetric object as its model.
Finally, for an abelian group object we need both: symmetry and comonoid.
One of the applications of Lawvere theories is to the theory of representing objects. Under mild conditions, a model of a Lawvere theory is equivalent to a lift of a representable contravariant functor to a functor , where is the category of models of in . However, except for very simple theories (i.e. those with no binary or higher operations), this does not carry over to the monoidal case because the construction of the operations on the Hom sets involves extensive use of diagonal morphisms.
However, where it does work is when one restricts to the subcategory of comonoid objects with comonoid-structure preserving morphisms. That is, if denotes the subcategory of of comonoids with such morphisms then a model for in represents a functor via
Apart from the obvious question of finding the literature behind all of this (and thus getting the terminology correct), certain other questions spring to mind. Well, okay, one question springs to mind.
Todd: My previous answer (which has been deleted) was based on a too-hasty reading of the question. I’ll try to set aside some time to find a better answer.
Todd: The time set aside turned out to be time last night when I had trouble falling asleep. I believe the answer is no. If for example is the pro for comonoids and is the initial pro (so equivalent to the natural numbers as discrete monoidal category), then the “Lawverifications” of those pros ought to be equivalent, both being equivalent to the initial Lawvere theory . At the semantic level, this boils down to the easy observation that in a cartesian monoidal category, there is a unique comonoid structure on every object.
S. Lack, Composing PROPS, Theory Appl. Categ. 13 (2004), No. 9, 147–163.
I keep wanting to write “repetition, hesitation, or deviation”. ↩