## Semistrict Tamsamani n-groupoids and connected n-types. Available as arXiv:0701655

Citations: | 5 - 1 self |

### BibTeX

@MISC{Paoli_semistricttamsamani,

author = {Simona Paoli},

title = {Semistrict Tamsamani n-groupoids and connected n-types. Available as arXiv:0701655},

year = {}

}

### OpenURL

### Abstract

Abstract. Tamsamani’s weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tamsamani’s weak n-groupoids and cat n−1-groups as models of connected n-types. 1.

### Citations

514 |
Categories for the working mathematician
- MacLane
- 1971
(Show Context)
Citation Context ...rictly. These structures which are “less weak” than general weak n-categories are often called “semistrict”. The first example of a coherence theorem is the one for monoidal categories due to MacLane =-=[14]-=-. In turn, this is a special case of a more general coherence theorem for bicategories [15] which says that every bicategory is biequivalent to a strict 2-category. In dimension 3, Gordon, Power and S... |

368 |
Homotopical algebra
- Quillen
- 1967
(Show Context)
Citation Context ...which the vertical arrows are weak equivalences and at least one map in each row, being surjective, is a fibration of simplicial groups. Since the model structure on simplicial groups is right proper =-=[21]-=-, it follows from [10, Proposition 13.3.9] that the map of pullbacks dp : P → P d is a weak equivalence. To construct the section tP, consider the diagram: ep1 P d A d �� ep2 B d � �� ��� � � � � � � ... |

298 | Simplicial objects in algebraic topology - May - 1967 |

292 | An Introduction to Homological Algebra - Weibel - 1997 |

222 | Model Categories - Hovey - 1999 |

146 | Higher-dimensional algebra & Topological quantum field theory
- Baez, Dolan
- 1995
(Show Context)
Citation Context ... [22]. In low dimension, it is known that strict 2-groupoids model 2-types [16] and Gray groupoids model 3-types [2] [11] [12]. These low dimensional results had lead several people (see for instance =-=[1]-=-) to formulate the semistrictification hypothesis for homotopy types: In every model of weak n-category, a weak n-groupoid should be suitably equivalent to a semistrict one. Date: 23 January 2007. 200... |

116 | Monoidal globular categories as a natural environment for the theory of weak n-categories - Batanin - 1998 |

114 |
Coherence for tricategories
- Gordon, Power, et al.
- 1995
(Show Context)
Citation Context ...urn, this is a special case of a more general coherence theorem for bicategories [15] which says that every bicategory is biequivalent to a strict 2-category. In dimension 3, Gordon, Power and Street =-=[9]-=- showed that every tricategory is triequivalent to a Gray category. The latter is a type of semistrict tricategory. These low-dimensional coherence results also have analogues in the groupoid case. Th... |

86 | Classifying spaces and spectral sequences - Segal - 1968 |

67 |
Spaces with finitely many non-trivial homotopy groups
- Loday
- 1982
(Show Context)
Citation Context ...es an important link between higher category theory and homotopy theory. Various algebraic models of homotopy types have been developed in homotopy theory: the cat n -group model, introduced by Loday =-=[13]-=- and later developed in [5] [20], generalized earlier work of Whitehead [25] on crossed modules. Our semistrictification theorem is the result of a comparison between cat n - groups and Tamsamani’s mo... |

61 |
Combinatorial homotopy
- Whitehead
- 1949
(Show Context)
Citation Context ...ious algebraic models of homotopy types have been developed in homotopy theory: the cat n -group model, introduced by Loday [13] and later developed in [5] [20], generalized earlier work of Whitehead =-=[25]-=- on crossed modules. Our semistrictification theorem is the result of a comparison between cat n - groups and Tamsamani’s model for the path-connected case. For n = 2 this comparison was developed in ... |

51 | Groupoids and crossed objects in algebraic topology, Homology, homotopy and applications
- Brown
- 1999
(Show Context)
Citation Context ...4. The category of cat n -groups In this section we recall the definition and main properties of cat n -groups. A large part of the material in this section is well known; suitable references include =-=[4]-=- [5] [6] [7] [13] [17] [19] [20] [25]. Given a category C with pullbacks, denote by Cat C the category of internal categories and internal functors in C. (See, for instance, [3]]). The notion of cat n... |

50 |
des notions de n-catégorie et n-groupoïde non strictes via des ensembles multi-simpliciaux. K-Theory 16
- Sur
- 1999
(Show Context)
Citation Context ...deed, it is thought that any good definition of weak higher category should give a model of n-types in the weak n-groupoid case. For Tamsamani’s model of weak n-categories this property was proved in =-=[22]-=-. In low dimension, it is known that strict 2-groupoids model 2-types [16] and Gray groupoids model 3-types [2] [11] [12]. These low dimensional results had lead several people (see for instance [1]) ... |

36 | Higher dimensional crossed modules and the homotopy groups of n+ 1-ads - Ellis, Steiner - 1987 |

33 |
Coherence for bicategories and indexed categories
- Lane, Paré
- 1985
(Show Context)
Citation Context ...led “semistrict”. The first example of a coherence theorem is the one for monoidal categories due to MacLane [14]. In turn, this is a special case of a more general coherence theorem for bicategories =-=[15]-=- which says that every bicategory is biequivalent to a strict 2-category. In dimension 3, Gordon, Power and Street [9] showed that every tricategory is triequivalent to a Gray category. The latter is ... |

25 |
n-types of simplicial groups and crossed n-cubes
- Porter
- 1993
(Show Context)
Citation Context ...her category theory and homotopy theory. Various algebraic models of homotopy types have been developed in homotopy theory: the cat n -group model, introduced by Loday [13] and later developed in [5] =-=[20]-=-, generalized earlier work of Whitehead [25] on crossed modules. Our semistrictification theorem is the result of a comparison between cat n - groups and Tamsamani’s model for the path-connected case.... |

23 |
Algebraic classification of equivariant homotopy 2-types
- Moerdijk, Svensson
- 1993
(Show Context)
Citation Context ...d give a model of n-types in the weak n-groupoid case. For Tamsamani’s model of weak n-categories this property was proved in [22]. In low dimension, it is known that strict 2-groupoids model 2-types =-=[16]-=- and Gray groupoids model 3-types [2] [11] [12]. These low dimensional results had lead several people (see for instance [1]) to formulate the semistrictification hypothesis for homotopy types: In eve... |

23 | Higher dimensional categories: an illustrated guide book, 2004. Available via http://www.math.uchicago.edu/∼eugenia/guidebook - Cheng, Lauda |

21 | Double loop spaces, braided monoidal categories and algebraic 3-type of space
- Berger
- 1996
(Show Context)
Citation Context ...n-groupoid case. For Tamsamani’s model of weak n-categories this property was proved in [22]. In low dimension, it is known that strict 2-groupoids model 2-types [16] and Gray groupoids model 3-types =-=[2]-=- [11] [12]. These low dimensional results had lead several people (see for instance [1]) to formulate the semistrictification hypothesis for homotopy types: In every model of weak n-category, a weak n... |

14 | Obstruction theory in algebraic categories - Orzech |

13 | Co)Homology of crossed modules - Carrasco, Cegarra, et al. - 2002 |

13 | Weak identity arrows in higher categories - Kock |

12 | The ‘closed subgroup theorem’ for localic herds and pregroupoids - Johnstone - 1991 |

10 | Homotopy types of strict 3-groupoids - Simpson - 1998 |

9 |
On cat”-groups and homotopy types
- Bullejos, Cegarra, et al.
- 1993
(Show Context)
Citation Context ... higher category theory and homotopy theory. Various algebraic models of homotopy types have been developed in homotopy theory: the cat n -group model, introduced by Loday [13] and later developed in =-=[5]-=- [20], generalized earlier work of Whitehead [25] on crossed modules. Our semistrictification theorem is the result of a comparison between cat n - groups and Tamsamani’s model for the path-connected ... |

9 | crossed modules and internal categories in categories of groups with operations - Porter, Extensions - 1987 |

8 |
une notion de 3-categorie adaptee a l’homotopie, U. Montpellier II preprint
- Leroy, Sur
(Show Context)
Citation Context ...d case. For Tamsamani’s model of weak n-categories this property was proved in [22]. In low dimension, it is known that strict 2-groupoids model 2-types [16] and Gray groupoids model 3-types [2] [11] =-=[12]-=-. These low dimensional results had lead several people (see for instance [1]) to formulate the semistrictification hypothesis for homotopy types: In every model of weak n-category, a weak n-groupoid ... |

8 | The relationship between the diagonal and the bar constructions on a bisimplicial set, Topology and its applications, vol 153, number 1 (2005) D.-C. Cisinski, Invariance de la K-théorie par équivalences dérivées - Cegarra, Remedios |

8 | A survey of definitions of n-category, Theory - Leinster |

6 | Semistrict models of connected 3-types and Tamsamani’s weak 3-groupoids
- Paoli
(Show Context)
Citation Context ... on crossed modules. Our semistrictification theorem is the result of a comparison between cat n - groups and Tamsamani’s model for the path-connected case. For n = 2 this comparison was developed in =-=[18]-=-. The present work generalizes some of the results of [18] to higher n and at the same time refines some of the techniques used in [18] for n = 2. Our method of comparison between the cat n -group and... |

5 | Model structures for homotopy of internal categories
- Everaert, Kieboom, et al.
(Show Context)
Citation Context ...rges when used in conjunction with the functorial cofibrant replacement functor C : Cat n (Gp) → Cat n (Gp) arising from the model structure on Cat n (Gp) obtained as an application of the results of =-=[8]-=-. Given a cat n -group G, we view it as internal category in Cat n−1 (Gp) with object of objects G0; then C(G) has object of objects f n−1un−1G0, thus it is a strongly contractible cat n−1 -group. Now... |

5 | 2-nerves for bicategories, K-Theory - Lack, Paoli |

4 |
Algebraic homotopy types, handwritten lecture notes
- Joyal, Tierney
- 1984
(Show Context)
Citation Context ...oupoid case. For Tamsamani’s model of weak n-categories this property was proved in [22]. In low dimension, it is known that strict 2-groupoids model 2-types [16] and Gray groupoids model 3-types [2] =-=[11]-=- [12]. These low dimensional results had lead several people (see for instance [1]) to formulate the semistrictification hypothesis for homotopy types: In every model of weak n-category, a weak n-grou... |

3 | Model categories and their localizations - Hirschorn |

3 | Internal categorical structures in homotopical algebra
- Paoli
(Show Context)
Citation Context ...t n -groups In this section we recall the definition and main properties of cat n -groups. A large part of the material in this section is well known; suitable references include [4] [5] [6] [7] [13] =-=[17]-=- [19] [20] [25]. Given a category C with pullbacks, denote by Cat C the category of internal categories and internal functors in C. (See, for instance, [3]]). The notion of cat n -group is obtained st... |

2 |
Handbook of categorical algebra, Encyclopedia of Mathematics and its applications
- Borceaux
- 1994
(Show Context)
Citation Context ...ble references include [4] [5] [6] [7] [13] [17] [19] [20] [25]. Given a category C with pullbacks, denote by Cat C the category of internal categories and internal functors in C. (See, for instance, =-=[3]-=-]). The notion of cat n -group is obtained starting from the category of groups and iterating n times the internal category construction: Definition 4.1. The category Cat n (Gp) of cat n -groups is de... |

2 |
Derived functors and the homology of n-types
- Casas, Ellis, et al.
(Show Context)
Citation Context ...ory of cat n -groups In this section we recall the definition and main properties of cat n -groups. A large part of the material in this section is well known; suitable references include [4] [5] [6] =-=[7]-=- [13] [17] [19] [20] [25]. Given a category C with pullbacks, denote by Cat C the category of internal categories and internal functors in C. (See, for instance, [3]]). The notion of cat n -group is o... |

2 | Tamsamani categories, Segal categories and applications, available at www.ima.umn.edu/talks/workshops/SP6.7-18.04/toen/bertrand -IMA.pdf
- Toen
(Show Context)
Citation Context ...roduced, obtaining an internal weak n-groupoid. 3. Tamsamani’s model. We recall the definition of Tamsamani’s weak n-category and Tamsamani’s weak n-groupoid. We follow closely the treatment given in =-=[24]-=-; see also [22], [23]. The category Wn of Tamsamani’s weak n-categories can be defined inductively as follows. For n = 1, let W1 = Cat. A morphism in W1 is a 1equivalence if it is an equivalence of ca... |

2 | Towards an n-category of cobordisms. Theory and Applications of Categories - Cheng, Gurski - 2007 |

2 | Ehresmann, Multiple functors III. The cartesian closed category Catn, Cahiers de Topologie et Géométrie Différentielle Catégoriques 19 - Ehresmann, Charles - 1978 |

1 | Comparing operadic theories of n-categories, Talk at - Cheng - 2007 |

1 | Weak units and homotopy - Joyal, Kock - 2007 |

1 | Semistrictification of Tamsamani’s weak 3-groupoids: the non-path connected case, Talk at the Australian Category Seminar - Paoli - 2006 |