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.
    • CommentAuthorzskoda
    • CommentTimeNov 27th 2013
    • (edited Nov 27th 2013)

    I had some thoughts last month or two about the small nonassociative categories, that is the category over an associative operad (in Set). I know that some people around looked at formal category theory in various framework (especially Mike). Are there any frameworks for nontrivial nonassociative category theory in the sense that a composition of natural transformation is defined and that some weak form of Yoneda lemma is true. I know of some special cases by imitation of some ideas of quasigroup theory; I can defined certain related associative categories (left, right, middle kernel), then certain story about translations in the quasigroup with multiple objects case and dreaming of certain crossed products to combine the two, as well as using some things about isotopy (algebra) in this context. But maybe something can be said from the point of view of formal category theory ? There are nontrivial motivations to the story, e.g. from nonassociative Lie theory which is quite a large subject, starting with the classical work of Mal’cev on analytic loops through the recent work of Sabinin et al. on Sabinin algebras…

    • CommentRowNumber2.
    • CommentAuthorjim_stasheff
    • CommentTimeNov 29th 2013
    Given the resurgance of interest in non-associative things in e.g. double field theory, it would help to havw some links to the kind of nonassociaitvity you have in mind e.g. non-assoc Lie means?
    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeNov 29th 2013

    Usual category is a monoid with several objects, nonassociative category is a unital magma with several objects. In motivating examples, one usually deals with quasigroups and loops in the sense of algebra. Mal’cev had Lie theory for a class of analytic loops and there are many modern extensions of that theory.

    • CommentRowNumber4.
    • CommentAuthorjim_stasheff
    • CommentTimeNov 30th 2013
    Thanks - invoking a unital magma says no relations assumed except the unit
    But the rest of the comment indicates lots of potential special types