Australian Category Seminar

A characterization of the image of Comod

Paddy McCrudden·26 November 1997

Let V = k-Vect be the monoidal category of Vector Spaces. Recall that a one object V^op enriched category is precisely a k-coalgbra. Thus we consider the 2-category V^op-Cat to be a generalization of the category of k-Coalgbras. Let V-Act denote the 2-Category of V-Actegories. This is simply the 2-category T-psAlg for the pseudomonad T= V x - : Cat → Cat. Thus an object of V-Act is a category A equipped with an action V x A → A, which is associative and unital up to coherent isomorhism. Let V-Act//V denote the 2-Category whose objects are triples, (A, U : X → V-Act(A,V)), where A is a V-Actegory, X is a set and U is a function. Thus we may consider V-Act//V to have objects A in V-Act equipped with a family a "underlying" functors into V. We define a 2-functor Comod : (V^op-Cat)^op → V-Act//V which agrees with the usual definition if Comod when restricted to the one object V-Actegories (= coalgebras). That is, if C is acoalgebra, then Comod(C) is the usual category of representations together with its underlynig functor into V. We prove that Comod is 2-fully faithful, and that there exists a partially defined right 2-adjoint. thus the question arises: "which objects in V-Act//V are equivalent to objects of the form Comod(C), for some V^op-Category C." In this seminar, we prove that the objects in V-Act//V that are equivalent to objects of the form Comod(C) are precisely those objects for which the family of functors ((U_x:A→V)_(x in X)) are comonadic in the sense of Street: 2-constructions on Lax functors. there are intimate connections of this theorem with Lawvere et als "structure and semantics." these connections have since been clarified.

Back