Welcome to MathOverflow

Question

1

Does the notion of $\omega$-monoid exist, analogous to the notions of $\omega$-groupoid and $\omega$-category? If so, some references would be appreciated.

This is an attempted rephrasing of question: http://mathoverflow.net/questions/24723/chain-hierarchy-of-monoids. My application domain is reasoning about modifiers of modifiers in software product line engineering, thus lacking established mathematical background. I find it easier to adapt existing results, even if the application domain is significantly different, so any help would be appreciated.

flag	asked Jun 30 2010 at 18:28 supercooldave 1,314●8●13

Urs Schreiber · Accepted Answer · 2010-06-30 19:48:40Z UTC

3

Sure. A monoid is the same as a (pointed) category with a single object.

So an $n$-monoid is the same as a pointed $n$-category with a single object.

These usually go by names like $A_\infty$-algebras (mostly if they are linear) or similar.

If you want strict $\infty$-monoids, then the notion of a strict $\omega$-category with a single object will be all you want. For more general notions, see the links at

http://ncatlab.org/nlab/show/algebra+in+an+(infinity,1)-category

answered Jun 30 2010 at 19:48

Urs Schreiber
6,478●13●21

Urs, why pointed? – David Carchedi Jun 30 2010 at 20:40

3

"Pointed" is what ensures that the higher transfors are correct. An n-category with a single object can be pointed in an essentially unique way, and a functor between such n-categories is likewise a pointed functor in an essentially unique way, but the same is not true of natural transformations, modifications, etc. It's a nice excercise to write out what a pseudonatural transformation between one-object bicategories looks like, and see that "being pointed" is just what you need to reduce it to a monoidal transformation between monoidal categories. – Mike Shulman Jul 1 2010 at 2:10

1

An example to keep in mind is: for G a group, the automorphisms of G are not in general the same as those of BG, for whatever your favorite notion of BG is. In the context at hand, we may think of BG as being the one-object groupoid with G as its morphisms. Its automorphism group is a 1-type/groupoid-group given by the crossed module [G --> Aut(G)], where Aut(G) is the 0-type/set-group of ordinary automorphisms... – Urs Schreiber Jul 1 2010 at 7:49

1

...Even on connected components this does not coincide if G is not abelian. But if we regard BG as being pointed in the essentially unique way, then for the point-preserving automorphis 2-group we have Aut_*(BG) = Aut(G). – Urs Schreiber Jul 1 2010 at 7:49

Thanks Urs. I'll unravel these definitions and see what I come up with. – supercooldave Jul 2 2010 at 8:38

$\omega$-monoids

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.