# 2-Groupoid Enrichments in Homotopy Theory and Algebra by Kamps K.H., Porter T.

By Kamps K.H., Porter T.

Best algebra books

Lie Algebras: Finite and Infinite Dimensional Lie Algebras and Applications in Physics

This is often the lengthy awaited follow-up to Lie Algebras, half I which coated a big a part of the speculation of Kac-Moody algebras, stressing essentially their mathematical constitution. half II offers mostly with the representations and functions of Lie Algebras and comprises many move references to half I. The theoretical half mostly offers with the illustration thought of Lie algebras with a triangular decomposition, of which Kac-Moody algebras and the Virasoro algebra are best examples.

Work and Health: Risk Groups and Trends Scenario Report Commissioned by the Steering Committee on Future Health Scenarios

Will the current excessive paintings speed and the powerful time strain live to tell the tale within the coming twenty years? within the yr 2010 will there be much more staff operating below their point of schooling and being affected by illnesses because of tension at paintings than is the case in the intervening time?

Additional resources for 2-Groupoid Enrichments in Homotopy Theory and Algebra

Sample text

E. g. a (G2 , ⊗)-enrichment that can be usefully derived? ) A second potential application is within Grothendieck’s Pursuing Stacks [Gro]. That programme requires the study of actions of n-types on (n − 1)-types. A 3-type is representable by a (G2 , ⊗)-groupoid as we have noted and the category of 2types ‘is’ the ‘category’ of 2-groupoids. An action of a 3-type on a 2-type can thus be studied via (G2 , ⊗)-functors (or lax-versions of them) from a 3-type model to the (G2 , ⊗)-category of 2-groupoids itself.

The ‘obvious’ way to attempt to get around this difficulty is to have, for each pair (g1 , g2 ) of composable arrows in G, a 3-arrow α(g2 , g1 ) : H (g2 0 g1 ) −→ (Y (g2 ) 0 H (g1 )) 1 (H (g2 ) 0 X(g1 )) to replace equality in the ‘functoriality condition’ (∗). Thus now a morphism from X to Y is a triple (α, H, f ) : f assigning 1-arrows of C to objects of G, H assigning 2-arrows of C to 1-arrows of G and α, now, assigning 3-arrows of C to pairs of 1-arrows of G. This handles the composability at levels 1 and 2, but there has to be a condition to replace ‘functoriality’.

And Mosa, G. : Double categories, 2-categories, thin structures and connections, Theory Appl. Categ. 5 (1999), 163–175. : Modules crois´es g´en´eralis´es de longueur 2, J. Pure Appl. Algebra 34 (1984), 155–178. : Sur la notion de diagramme homotopiquement coh´erent, 3`eme Colloque sur les Cat´egories, Amiens, 1980, Cahiers Top. G´eom. Diff. 23 (1982), 93–112. -M. : Vogt’s theorem on categories of coherent diagrams, Math. Proc. Cambridge Philos. Soc. 100 (1986), 65–90. Crans, S. : A tensor product for Gray-categories, Theory Appl.