Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorjim_stasheff
    • CommentTimeJan 14th 2012
    Over at mathoverflow, there is a rather chatty discussion of the construction/definition
    of a free coalgebra - can't find anything here in nForum
    but maybe I don't know how to search
    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 14th 2012

    Is “free” a slip for cofree? Generally speaking, “free” refers to a left adjoint to a forgetful functor, but the forgetful functor from coalgebras to vector spaces doesn’t have a left adjoint. It does have a right adjoint, called the cofree coalgebra on a vector space.

    • CommentRowNumber3.
    • CommentAuthorjim_stasheff
    • CommentTimeJan 15th 2012
    Language problems
    OK cofree if you prefer
    but then do you insist on COassociative coalgebra?
    In either language, is there any detailed discussion of the issue
    e.g. versus the tensor coalgebra (surely no cotensor?)
    here at n-forum or elsewhere at n-lab?
    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 15th 2012
    • (edited Jan 15th 2012)

    There is not much good discussion on this (yet) in the nLab; there’s a little bit here, and some over at linear logic. If you apply the search function within the nLab to “cofree”, you may find pages closer to your interests (e.g., differential graded coalgebra). I mean to link back to (maybe even amplify on) the MathOverflow discussion I think you’re referring to; Theo Johnson-Freyd’s answer is IMO very nice.

    By the way, I didn’t mean to imply that “free” was your slip; indeed, I remember it was the OP of the MO discussion who introduced the slip. And I’m afraid I really do consider it a mistake, or at the very least highly misleading. I do not however insist on coassociative or cocommutative unless it’s important to do so (e.g., in a Hopf algebra context). There is, by the way, a notion of cotensor = power in category theory, and also a notion of cotensor product. :-)

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 15th 2012

    Started something on cofree coalgebra.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2012

    I have added various hyperlinks.

    Also, I have added cross-links between this entry and the formal duals free monoid and tensor algebra.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJan 16th 2012

    It is usual to say coassociative coalgebra, as usually one deals with bialgebra and similar contexts where both algebra and coalgebra structures are present so it is good to emphasise which “associativity” one means. But of course, it is OK in pure coalgebra context to say associativity for dual associativity. Of course, one can not say cotensor coalgebra for tensor coalgebra; as it is based on the tensor and not on the cotensor product.

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 21st 2012

    I have been adding a bit more to cofree coalgebra. In the course of doing so, I’ve pondered a bit more on the construction given by Theo in the MathOverflow discussion alluded to in #4, and I don’t quite see how his description (as a certain pullback in VectVect, if I’m reading his description correctly) gives a coalgebra. In particular, I don’t understand how the comultiplication for his description is supposed to work.

    If the inclusion of the pullback V× V **T(V *) T(V *) V \times_{V^{\ast \ast}} T(V^\ast)^\circ \to T(V^\ast)^\circ gives a subcoalgebra inclusion, then I believe all would be well. But at the moment, I have my suspicions that the pullback is “too big” for this to actually work. In any case, I’m hoping Theo can address this here.

    I also realize that what I’ve written up at cofree coalgebra is unlikely to satisfy Jim (see #1); similar discussions for cofree cocommutative coalgebras took place at the Café some years ago, but I’m pretty sure they were not carried out to Jim’s full satisfaction. I hope a better job can be done this time around, but there is rather a lot to say.

    • CommentRowNumber9.
    • CommentAuthorjim_stasheff
    • CommentTimeJan 22nd 2012
    I'm sure it's implicit in what's written here, but I miss any discussion of the tensor coalgebra i.e. the sum of the tensor powers with the deconcantenation coproduct and the cofreeness of it's completion.
    • CommentRowNumber10.
    • CommentAuthortheojf
    • CommentTimeJan 22nd 2012
    Hi all,

    Todd asked me to come over here to discuss the cofree coalgebra construction. I should emphasize that I don't have a lot of intuition for it, and tend to rely on Alex to know things. Anyway, the construction is from Sweedler's book on Hopf Algebras, section 6.4. I should not have written "$V \times_{V^{**}} T(V^*)^\circ$". Rather, I should have asked for the largest subcoalgebra of $T(V^*)^\circ$ that maps to $V$ under the map to $V^{**}$. I have corrected the offending MO post.

    This is clearly a subcoalgebra, and clearly has a map to $V$. Left to check is that it satisfies the universal property.

    Theo
    • CommentRowNumber11.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 22nd 2012

    Yes, that accords exactly with what I was thinking. Thanks for getting back to me on this, Theo.

    • CommentRowNumber12.
    • CommentAuthortheojf
    • CommentTimeJan 23rd 2012
    Incidentally, if memory serves, Sweedler also claims that if V is of the form W* for some vector space W, then Cofree(V) = T(W)°. So you can interpret the story in two steps: (1) is that cofree(dual) = dual(free). (2) is that V is trying to be the dual of V*.
    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 23rd 2012

    Interesting. The present version of the story as recorded at cofree coalgebra is just to say that Cofree(V)=T(V *) Cofree(V) = T(V^\ast)^\circ when VV is finite-dimensional, and in general Cofree(V)Cofree(V) is the filtered colimit (or you could simply say, “union”) over Cofree(V)Cofree(V') where VV' ranges over finite-dimensional subspaces of VV and inclusions between them (NB: this colimit can be computed in VectVect). This translates easily into your revised description at MathOverflow.

    Incidentally, looking at your direct sum description of the cofree (cocommutative) coalgebra on a 1-dimensional space kk (which we may identify with its dual), I would be interested to see exactly how it embeds as a subspace of T(k) * nkx nT(k)^\ast \cong \prod_n k \cdot x^n, the vector space of formal power series in one variable. My own description of T(k) T(k) *T(k)^\circ \hookrightarrow T(k)^\ast is that it is (the underlying space of) the localization of k[x]k[x] at the prime ideal (x)(x), embedded by writing each rational function in the localization as a formal power series. I discussed this calculation quite a while ago here. Our intuitions about finitely supported distributions have something in common, but I’m not quite seeing why the coalgebra is splitting so neatly as a direct sum of copies of T(k)T(k) as you are claiming (even assuming the field kk is algebraically closed).

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 25th 2012

    My most recent edit at cofree coalgebra answers the question I raised in comment #13, in what could be an embarrassment of detail. Theo’s description of the cofree coalgebra on one cogenerator is correct, but the nitty-gritty details are perhaps not super-trivial. (Still more to be done at that article.)

    • CommentRowNumber15.
    • CommentAuthorjim stasheff
    • CommentTimeMay 25th 2023
    At a more bare hands level, what's your preferred description of free commutative algebra and ditto coalgebra over the intergers -= not erationals permitted.
    Hard to find it on n-lab. jim the ancient
    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 25th 2023

    Jim, it is very good to hear from you. I hope you are well.

    The free commutative \mathbb{Z}-algebra on one element is the polynomial algebra [x]\mathbb{Z}[x]. The free commutative \mathbb{Z}-algebra on nn elements is the polynomial algebra on nn variables, [x 1,,x n]\mathbb{Z}[x_1, \ldots, x_n].

    I feel a little shaky about cofree coalgebras when the base ring is not a field, but let me try to get back to you later. There’s some related discussion in this thread, including discussion about the usage of “free” versus “cofree”. In the past, you’ve never seemed happy with my attempts to describe cofree coalgebras. :-) :-(