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

Discussion Tag Cloud

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.
    • CommentAuthorUrs
    • CommentTimeJan 16th 2016
    • (edited Jan 16th 2016)

    I have expanded slightly at coalgebra – Properties – As filtered colimits of finite dimensional pieces.

    And I have added and cross-linked with corresponding remarks at dg-coalgebra, at pro-object, at L-infinity algebra and at model structure for L-infinity algebras.

    • CommentRowNumber2.
    • CommentAuthorjim stasheff
    • CommentTimeJan 19th 2023
    Suggest adding a link to papers of Grossman&Larson on coalgebra of differental operators
    • CommentRowNumber3.
    • CommentAuthorAli Caglayan
    • CommentTimeMay 7th 2024

    The axioms for the coalgebra don’t appear to show.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 7th 2024

    Your chance to practice your editing skills on an elementary example!

    Best to use \tikzcd for the diagrams. If you get stuck, let me know and I’ll lend a hand.

  1. It is definitely not true that an arbitrary associative algebra is a pro-limit of finite associative algebras. For example, the polynomial ring k[x] is not equivalent to a pro-finite algebra as a functor from associative algebras to sets, since it is not the case that every element of an associative algebra is contained in a finite-dimensional subalgebra.

    It is true that an associative algebra in pro-finite vector spaces is a pro-limit of finite-dimensional algebras, though.

    Joshua Mundinger

    diff, v40, current

  2. added more precise reference for Sweedler’s theorem

    Joshua Mundinger

    diff, v40, current