This paper explores the relationship amongst the various simplicial and
pseudo-simplicial objects characteristically associated to any bicategory C. It
proves the fact that the geometric realizations of all of these possible
candidate `nerves of C' are homotopy equivalent. Any one of these realizations
could therefore be taken as the classifying space BC of the bicategory. Its
other major result proves a direct extension of Thomason's `Homotopy Colimit
Theorem' to bicategories: When the homotopy colimit construction is carried out
on a diagram of spaces obtained by applying the classifying space functor to a
diagram of bicategories, the resulting space has the homotopy type of a certain
bicategory, called the `Grothendieck construction on the diagram'. Our results
provide coherence for all reasonable extensions to bicategories of Quillen's
definition of the `classifying space' of a category as the geometric
realization of the category's Grothendieck nerve, and they are applied to
monoidal (tensor) categories through the elemental `delooping' construction.Comment: 42 page
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be thought of as the homotopy colimit of the classifying spaces of the bicategories that arise from the initial input data given by the lax diagram. This result is applied to produce bicategories whose classifying space has a double loop space with the same homotopy type, up to group completion, as the underlying category of any given (non-necessarily strict) braided monoidal category. Specifically, it is proven that these double delooping spaces, for categories enriched with a braided monoidal structure, can be explicitly realized by means of certain genuine simplicial sets characteristically associated to any braided monoidal categories, which we refer to as their (Street's) geometric nerves.Mathematical Subject Classification: 18D05, 18D10, 55P15, 55P48.
By considering the notion of action of a categorical group G on another categorical group H we define the semidirect product H G and classify the set of all split extensions of G by H. Then, in an analogous way to the group case, we develop an obstruction theory that allows the classification of all split extensions of categorical groups inducing a given pair (ϕ, ψ) (called a collective character of G in H) where ϕ : π 0 (G) → π 0 (Eq(H)) is a group homomorphism and ψ : π 1 (G) → π 1 (Eq(H)) is a homomorphism of π 0 (G)-modules. This paper has been financially supported by NATO PST.CLG 975316.
The long-known results of Schreier᎐Eilenberg᎐Mac Lane on group extensions are raised to a categorical level, for the classification and construction of the manifold of all graded monoidal categories, the type being given group ⌫ with 1-component a given monoidal category. Explicit application is made to the classification of strongly graded bialgebras over commutative rings. ᮊ 2001 Academic Press
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.