scholarly journals The classifying space of a small category

2009 ◽  
pp. 253-275
Author(s):  
Philip Hirschhorn
Keyword(s):  
Small Category ◽  
Classifying Space

scholarly journals On the homotopy theory of monoids

1989 ◽  
Vol 47 (2) ◽  
pp. 171-185
Author(s):  
Carol M. Hurwitz
Keyword(s):  
Homotopy Type ◽  
Homotopy Theory ◽  
Small Category ◽  
Homotopy Equivalence ◽  
Classifying Spaces ◽  
Classifying Space ◽  
Finitely Presented

AbsractIn this paper, it is shown that any connected, small category can be embedded in a semi-groupoid (a category in which there is at least one isomorphism between any two elements) in such a way that the embedding includes a homotopy equivalence of classifying spaces. This immediately gives a monoid whose classifying space is of the same homotopy type as that of the small category. This construction is essentially algorithmic, and furthermore, yields a finitely presented monoid whenever the small category is finitely presented. Some of these results are generalizations of ideas of McDuff.

Spaces of PL Manifolds and Categories of Simple Maps (AM-186)

2013 ◽  
Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes
Keyword(s):  
Main Tool ◽  
Homotopy Equivalence ◽  
Classifying Space ◽  
Deformation Retract ◽  
Simplicial Sets ◽  
Full Proof

Since its introduction by the author in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing the author's program from more than thirty years ago. The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory. The proof has two main parts. The essence of the first part is a “desingularization,” improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.

Flat functors and classifying toposes

2018 ◽  
Author(s):  
Olivia Caramello
Keyword(s):  
General Theory ◽  
Geometric Theory ◽  
Small Category ◽  
Independent Interest ◽  
Yoneda Lemma ◽  
Geometric Morphisms ◽  
The Way

This chapter develops a general theory of extensions of flat functors along geometric morphisms of toposes; the attention is focused in particular on geometric morphisms between presheaf toposes induced by embeddings of categories and on geometric morphisms to the classifying topos of a geometric theory induced by a small category of set-based models of the latter. A number of general results of independent interest are established on the way, including developments on colimits of internal diagrams in toposes and a way of representing flat functors by using a suitable internalized version of the Yoneda lemma. These general results will be instrumental for establishing in Chapter 6 the main theorem characterizing the class of geometric theories classified by a presheaf topos and for applying it.

Stable decompositions of classifying spaces of finite abelianp-groups

1988 ◽  
Vol 103 (3) ◽  
pp. 427-449 ◽  
Author(s):  
John C. Harris ◽  
Nicholas J. Kuhn
Keyword(s):  
Finite Group ◽  
Cohomology Theory ◽  
Classifying Spaces ◽  
Classifying Space ◽  
Image Position ◽  
A Finite Group

LetBGbe the classifying space of a finite groupG. Consider the problem of finding astabledecompositionintoindecomposablewedge summands. Such a decomposition naturally splitsE*(BG), whereE* is any cohomology theory.

Stable cohomotopy and cobordism of abelian groups

1981 ◽  
Vol 90 (2) ◽  
pp. 273-278 ◽  
Author(s):  
C. T. Stretch
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Finite Abelian Group ◽  
Formal Group ◽  
Characteristic Class ◽  
Burnside Ring ◽  
Classifying Space ◽  
Formal Group Law ◽  
Stable Cohomotopy ◽  
Group Law

The object of this paper is to prove that for a finite abelian group G the natural map is injective, where Â(G) is the completion of the Burnside ring of G and σ0(BG) is the stable cohomotopy of the classifying space BG of G. The map â is detected by means of an M U* exponential characteristic class for permutation representations constructed in (11). The result is a generalization of a theorem of Laitinen (4) which treats elementary abelian groups using ordinary cohomology. One interesting feature of the present proof is that it makes explicit use of the universality of the formal group law of M U*. It also involves a computation of M U*(BG) in terms of the formal group law. This may be of independent interest. Since writing the paper the author has discovered that M U*(BG) has previously been calculated by Land-weber(5).

scholarly journals Two-Categorical Bundles and their Classifying Spaces

2012 ◽  
Vol 10 (2) ◽  
pp. 299-369 ◽  
Author(s):  
Nils A. Baas ◽  
Marcel Bökstedt ◽  
Tore August Kro
Keyword(s):  
Vector Bundle ◽  
Vector Bundles ◽  
Vector Spaces ◽  
Bundle Theory ◽  
Classifying Spaces ◽  
Classifying Space ◽  
Principal Bundles

AbstractFor a 2-category 2C we associate a notion of a principal 2C-bundle. For the 2-category of 2-vector spaces, in the sense of M.M. Kapranov and V.A. Voevodsky, this gives the 2-vector bundles of N.A. Baas, B.I. Dundas and J. Rognes. Our main result says that the geometric nerve of a good 2-category is a classifying space for the associated principal 2-bundles. In the process of proving this we develop powerful machinery which may be useful in further studies of 2-categorical topology. As a corollary we get a new proof of the classification of principal bundles. Another 2-category of 2-vector spaces has been proposed by J.C. Baez and A.S. Crans. A calculation using our main theorem shows that in this case the theory of principal 2-bundles splits, up to concordance, as two copies of ordinary vector bundle theory. When 2C is a cobordism type 2-category we get a new notion of cobordism-bundles which turns out to be classified by the Madsen–Weiss spaces.

Sign in / Sign up

Export Citation Format

Share Document