## SEMISTRICT TAMSAMANI N-GROUPOIDS AND CONNECTED N-TYPES (2007)

Citations: | 5 - 1 self |

### BibTeX

@MISC{PAOLI07semistricttamsamani,

author = {SIMONA PAOLI},

title = {SEMISTRICT TAMSAMANI N-GROUPOIDS AND CONNECTED N-TYPES },

year = {2007}

}

### OpenURL

### 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.

### Citations

474 |
Categories for the working mathematician
- MacLane
- 1998
(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... |

325 |
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 � �� ��� � � � � � � ... |

267 | Introduction to homological algebra - Weibel - 1994 |

261 | Simplicial objects in algebraic topology - May - 1992 |

202 | Model Categories - Hovey - 1999 |

138 | Higher-dimensional algebra and 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... |

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

107 |
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... |

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

62 |
Spaces with finitely many nontrivial 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... |

51 |
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 ... |

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]) ... |

49 | Groupoids and crossed objects in algebraic topology
- Brown
(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... |

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 ... |

32 | Higher Dimensional Crossed Modules and the Homotopy - Ellis, Steiner - 1987 |

22 |
Algebraic classification of equivariant homotopy 2-types. 1
- 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... |

22 |
n-Types of Simplicial Groups and Crossed n-cubes
- Porter
- 1991
(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.... |

22 | Higher-dimensional categories: an illustrated guide book - Cheng, Lauda - 2004 |

20 | Double loop spaces, braided monoidal categories and algebraic 3-type of space. Higher homotopy structures in topology and mathematical physics
- 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... |

13 | Obstruction theory in algebraic categories - Orzech - 1972 |

12 | Co)homology of crossed modules - Carrasco, Cegarra, et al. |

12 | Weak identity arrows in higher categories - Kock |

10 | The “closed subgroup theorem” for localic herds and pregroupoids - Johnstone - 1989 |

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 |