Showing 1–27 of 27 results for author: Rovelli, M

A model for the coherent walking $ω$-equivalence

Authors: Amar Hadzihasanovic, Félix Loubaton, Viktoriya Ozornova, Martina Rovelli

Abstract: We prove that a certain $ω$-category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking $ω$-equivalence. Further, appropriate truncations of it give models for the fully coherent walking $n$-equivalence for each $n\geq1$. We prove that a certain $ω$-category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking $ω$-equivalence. Further, appropriate truncations of it give models for the fully coherent walking $n$-equivalence for each $n\geq1$. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 20 pages, comments are welcome!

Report number: MPIM-Bonn-2024 MSC Class: 18N30; 18N20; 18N40

$(\infty,n)$-Limits I: Definition and first consistency results

Authors: Lyne Moser, Nima Rasekh, Martina Rovelli

Abstract: We define limits for diagrams valued in an $(\infty,n)$-category. As a model of $(\infty,n)$-categories, we use complete Segal objects in $(\infty,n-1)$-categories. We show that this definition is compatible with the existing notion of homotopy 2-limits for 2-categories, with the existing notion of $(\infty,1)$-limits for $(\infty,1)$-categories, and with itself across different values of $n$. We define limits for diagrams valued in an $(\infty,n)$-category. As a model of $(\infty,n)$-categories, we use complete Segal objects in $(\infty,n-1)$-categories. We show that this definition is compatible with the existing notion of homotopy 2-limits for 2-categories, with the existing notion of $(\infty,1)$-limits for $(\infty,1)$-categories, and with itself across different values of $n$. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 51 pages; comments welcome

Report number: MPIM-Bonn-2023 MSC Class: 18N65; 18N10; 18A30; 18D20; 55U35

An $(\infty,n)$-categorical straightening-unstraightening construction

Authors: Lyne Moser, Nima Rasekh, Martina Rovelli

Abstract: We provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category $\mathcal{C}$ and that of the $(\infty,n)$-functors from $\mathcal{C}$ valued in $(\infty,n-1)$-categories. We realize this in the form of a Quillen equivalence between ap… ▽ More We provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category $\mathcal{C}$ and that of the $(\infty,n)$-functors from $\mathcal{C}$ valued in $(\infty,n-1)$-categories. We realize this in the form of a Quillen equivalence between appropriate model structures; on the one hand, a model structure for double $(\infty,n-1)$-right fibrations over a generic precategory object $W$ in $(\infty,n-1)$-categories and, on the other hand, a model structure for $(\infty,n)$-functors from its homotopy coherent categorification $\mathfrak{C} W$ valued in $(\infty,n-1)$-categories. △ Less

Submitted 14 July, 2023; originally announced July 2023.

Comments: 65 pages, comments welcome

Report number: MPIM-Bonn-2023 MSC Class: 18N65; 55U35; 18N50; 18N45; 18N10

What is an equivalence in a higher category?

Authors: Viktoriya Ozornova, Martina Rovelli

Abstract: The purpose of this survey is to present in a uniform way the notion of equivalence between strict $n$-categories or $(\infty,n)$-categories, and inside a strict $(n+1)$-category or $(\infty,n+1)$-category. The purpose of this survey is to present in a uniform way the notion of equivalence between strict $n$-categories or $(\infty,n)$-categories, and inside a strict $(n+1)$-category or $(\infty,n+1)$-category. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: Comments welcome!

Report number: MPIM-Bonn-2023 MSC Class: 18N10; 18N30; 18N60; 18N65; 18N40

A homotopy coherent nerve for $(\infty,n)$-categories

Authors: Lyne Moser, Nima Rasekh, Martina Rovelli

Abstract: In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of $(\infty,1)$-categories can equivalently be defined as functors of quasi-categories or as simplicially enriched functors out of the homotopy coherent categorifications. I… ▽ More In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of $(\infty,1)$-categories can equivalently be defined as functors of quasi-categories or as simplicially enriched functors out of the homotopy coherent categorifications. In this paper, we construct a homotopy coherent nerve for $(\infty,n)$-categories. We show that it realizes a right Quillen equivalence between the models of categories strictly enriched in $(\infty,n-1)$-categories and of Segal category objects in $(\infty,n-1)$-categories. This similarly enables us to define homotopy coherent diagrams of $(\infty,n)$-categories equivalently as functors of Segal category objects or as strictly enriched functors out of the homotopy coherent categorifications. △ Less

Submitted 5 February, 2024; v1 submitted 4 August, 2022; originally announced August 2022.

Comments: 55 pages; v3: final version to appear in JPAA. v2 supersedes v1, which contains some errors. v2 is a complete rewrite that proves a similar main result to v1 but in the model of Segal category objects in (oo,n-1)-categories instead of complete Segal objects in (oo,n-1)-categories

Report number: MPIM-Bonn-2023 MSC Class: 18N65; 55U35; 18N50

A Quillen adjunction between globular and complicial approaches to $(\infty,n)$-categories

Authors: Viktoriya Ozornova, Martina Rovelli

Abstract: We prove the compatibility between the suspension construction and the complicial nerve of $ω$-categories. As a motivating application, we produce a Quillen pair between the models of $(\infty,n)$-categories given by Rezk's complete Segal $Θ_n$-spaces and Verity's $n$-complicial sets. We prove the compatibility between the suspension construction and the complicial nerve of $ω$-categories. As a motivating application, we produce a Quillen pair between the models of $(\infty,n)$-categories given by Rezk's complete Segal $Θ_n$-spaces and Verity's $n$-complicial sets. △ Less

Submitted 6 June, 2022; originally announced June 2022.

Report number: MPIM-Bonn-2022 MSC Class: 18N65; 55U35; 18N50; 55U10

Model independence of $(\infty,2)$-categorical nerves

Authors: Lyne Moser, Viktoriya Ozornova, Martina Rovelli

Abstract: For most models of $(\infty,2)$-categories an embedding of the $\infty$-category of 2-categories into that of $(\infty,2)$-categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve embeddings induce equivalent functors, modulo change of model. We also show that all the nerve embeddings realize the $\infty$-category of 2-categories as the sub-… ▽ More For most models of $(\infty,2)$-categories an embedding of the $\infty$-category of 2-categories into that of $(\infty,2)$-categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve embeddings induce equivalent functors, modulo change of model. We also show that all the nerve embeddings realize the $\infty$-category of 2-categories as the sub-$\infty$-category of $(\infty,2)$-categories that are local with respect to a certain class of maps. △ Less

Submitted 1 June, 2022; originally announced June 2022.

Report number: MPIM-Bonn-2022 MSC Class: 18N65; 55U35; 18N10; 18N50

Pushouts of Dwyer maps are $(\infty,1)$-categorical

Authors: Philip Hackney, Viktoriya Ozornova, Emily Riehl, Martina Rovelli

Abstract: The inclusion of 1-categories into $(\infty,1)$-categories fails to preserve colimits in general, and pushouts in particular. In this note, we observe that if one functor in a span of categories belongs to a certain previously-identified class of functors, then the 1-categorical pushout is preserved under this inclusion. Dwyer maps, a kind of neighborhood deformation retract of categories, were us… ▽ More The inclusion of 1-categories into $(\infty,1)$-categories fails to preserve colimits in general, and pushouts in particular. In this note, we observe that if one functor in a span of categories belongs to a certain previously-identified class of functors, then the 1-categorical pushout is preserved under this inclusion. Dwyer maps, a kind of neighborhood deformation retract of categories, were used by Thomason in the construction of his model structure on 1-categories. Thomason previously observed that the nerves of such pushouts have the correct weak homotopy type. We refine this result and show that the weak homotopical equivalence is a weak categorical equivalence. We also identify a more general class of functors along which 1-categorical pushouts are $(\infty,1)$-categorical. △ Less

Submitted 7 March, 2023; v1 submitted 4 May, 2022; originally announced May 2022.

Comments: v3: Major rewrite based on an alternate proof strategy proposed by a referee that uses a different model of $\infty$-categories. 12 pages. Prior proof may be found in v2. v2: Minor clarifications and corrections suggested by a referee. v1: An expansion and correction of a result from arxiv:2106.03660v2

Report number: MPIM-Bonn-2022 MSC Class: 18N60; 55U35

A categorical characterization of strong Steiner $ω$-categories

Authors: Dimitri Ara, Andrea Gagna, Viktoriya Ozornova, Martina Rovelli

Abstract: Strong Steiner $ω$-categories are a class of $ω$-categories that admit algebraic models in the form of chain complexes, whose formalism allows for several explicit computations. The conditions defining strong Steiner $ω$-categories are traditionally expressed in terms of the associated chain complex, making them somewhat disconnected from the $ω$-categorical intuition. The purpose of this paper is… ▽ More Strong Steiner $ω$-categories are a class of $ω$-categories that admit algebraic models in the form of chain complexes, whose formalism allows for several explicit computations. The conditions defining strong Steiner $ω$-categories are traditionally expressed in terms of the associated chain complex, making them somewhat disconnected from the $ω$-categorical intuition. The purpose of this paper is to characterize this class as the class of polygraphs that satisfy a loop-freeness condition that does not make explicit use of the associated chain complex and instead relies on the categorical features of $ω$-categories. △ Less

Submitted 4 April, 2023; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: 27 pages, v2: final version

Report number: MPIM-Bonn-2022 MSC Class: 18N30; 18G35

Journal ref: Journal of Pure and Applied Algebra, vol. 227, no. 7, 2023, 107313

An $(\infty,2)$-categorical pasting theorem

Authors: Philip Hackney, Viktoriya Ozornova, Emily Riehl, Martina Rovelli

Abstract: We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an $(\infty,2)$-category. We prove this explicitly in the simplicial categories model and then explain how to deduce the model-independent statement from that calculation. We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an $(\infty,2)$-category. We prove this explicitly in the simplicial categories model and then explain how to deduce the model-independent statement from that calculation. △ Less

Submitted 28 September, 2022; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: 42 pages, comments welcome; v2: new section on related work with updated references; v3: moved the analysis of pushouts of Dwyer maps to arXiv:2205.02353 in order to prove a more general version of the result than is needed here; v4: final version

Report number: MPIM-Bonn-2021 MSC Class: 18N65; 55U35; 18N10

Journal ref: Transactions of the American Mathematical Society 376 (2023) 555-597

An explicit comparison between $2$-complicial sets and $Θ_2$-spaces

Authors: Julia E. Bergner, Viktoriya Ozornova, Martina Rovelli

Abstract: We produce a direct Quillen equivalence between two models of $(\infty,2)$-categories: the complete Segal $Θ_2$-spaces due to Rezk and the $2$-complicial sets due to Verity. We produce a direct Quillen equivalence between two models of $(\infty,2)$-categories: the complete Segal $Θ_2$-spaces due to Rezk and the $2$-complicial sets due to Verity. △ Less

Submitted 27 April, 2021; originally announced April 2021.

MSC Class: 18N65; 55U35; 18N10; 18N50; 55U10

Nerves and cones of free loop-free ω-categories

Authors: Andrea Gagna, Viktoriya Ozornova, Martina Rovelli

Abstract: We show that the complicial nerve construction is homotopically compatible with two flavors of cone constructions when starting with an $ω$-category that is suitably free and loop-free. An instance of the result recovers the fact that the standard $m$-simplex is equivalent to the complicial nerve of the $m$-oriental. We show that the complicial nerve construction is homotopically compatible with two flavors of cone constructions when starting with an $ω$-category that is suitably free and loop-free. An instance of the result recovers the fact that the standard $m$-simplex is equivalent to the complicial nerve of the $m$-oriental. △ Less

Submitted 7 December, 2021; v1 submitted 1 March, 2021; originally announced March 2021.

Comments: v2: restructured the paper improving exposition, included details on the second type of cone

Report number: MPIM-Bonn-2021 MSC Class: 18N30; 18N65; 55U10; 55U15

Journal ref: Tunisian J. Math. 5 (2023) 273-326

Induced model structures for higher categories

Authors: Philip Hackney, Martina Rovelli

Abstract: We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an application, we construct new model structures on cubical sets, prederivators, marked simplicial sets and simplicial spaces modeling $\infty$-categories and… ▽ More We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an application, we construct new model structures on cubical sets, prederivators, marked simplicial sets and simplicial spaces modeling $\infty$-categories and $\infty$-groupoids. △ Less

Submitted 14 January, 2022; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 15 pages, to appear in Proc. Amer. Math. Soc

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 4629-4644

Gray tensor product and saturated $N$-complicial sets

Authors: Viktoriya Ozornova, Martina Rovelli, Dominic Verity

Abstract: We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen bifunctor and a homotopical bifunctor, respectively. We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen bifunctor and a homotopical bifunctor, respectively. △ Less

Submitted 2 July, 2020; originally announced July 2020.

MSC Class: 55U35; 18G30; 18D05; 55U10

Fundamental pushouts of n-complicial sets

Authors: Viktoriya Ozornova, Martina Rovelli

Abstract: The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the $(\infty,n)$-categorical nerve of $n$-categories is homotopically compatible with $1$-categorical suspension and wedge. As an application, we show that certain pushouts… ▽ More The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the $(\infty,n)$-categorical nerve of $n$-categories is homotopically compatible with $1$-categorical suspension and wedge. As an application, we show that certain pushouts encoding composition in $n$-categories are homotopy pushouts of saturated $n$-complicial sets. △ Less

Submitted 12 May, 2020; originally announced May 2020.

MSC Class: 18N65; 55U35; 18N10; 18N50; 55U10

The Duskin nerve of 2-categories in Joyal's cell category Theta_2

Authors: Viktoriya Ozornova, Martina Rovelli

Abstract: We give an explicit and purely combinatorial description of the Duskin nerve of any (r+1)-point suspension 2-category, and in particular of any 2-category belonging to Joyal's cell category Theta_2. We give an explicit and purely combinatorial description of the Duskin nerve of any (r+1)-point suspension 2-category, and in particular of any 2-category belonging to Joyal's cell category Theta_2. △ Less

Submitted 22 May, 2020; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: Final version, plus an expository appendix

MSC Class: 55U35; 18G30; 18D05; 55U10

Nerves of 2-categories and 2-categorification of $(\infty,2)$-categories

Authors: Viktoriya Ozornova, Martina Rovelli

Abstract: We show that the homotopy theory of strict 2-categories embeds in that of $(\infty,2)$-categories in the form of 2-precomplicial sets. More precisely, we construct a nerve-categorification adjunction that is a Quillen pair between Lack's model structure for 2-categories and Riehl-Verity's model structure for 2-complicial sets. Furthermore, we show that Lack's model structure is transferred along t… ▽ More We show that the homotopy theory of strict 2-categories embeds in that of $(\infty,2)$-categories in the form of 2-precomplicial sets. More precisely, we construct a nerve-categorification adjunction that is a Quillen pair between Lack's model structure for 2-categories and Riehl-Verity's model structure for 2-complicial sets. Furthermore, we show that Lack's model structure is transferred along this nerve and that the nerve is homotopically fully faithful. △ Less

Submitted 14 February, 2019; originally announced February 2019.

MSC Class: 55U35; 18D05; 55U10

Weighted limits in an $(\infty,1)$-category

Authors: Martina Rovelli

Abstract: We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's approach: we identify a meaningful construction for the quasi-category of weighted cones over a diagram in a quasi-category, whose terminal object is the weighted limi… ▽ More We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's approach: we identify a meaningful construction for the quasi-category of weighted cones over a diagram in a quasi-category, whose terminal object is the weighted limit of the considered diagram. When the quasi-category arises as the homotopy coherent nerve of a category enriched over Kan complexes, we use techniques by Riehl-Verity to show that the weighted limit agrees with the homotopy weighted limit in the sense of enriched category theory, for which explicit constructions are available. When the quasi-category is complete, tensored and cotensored over the quasi-category of spaces, we discuss a possible comparison of our definition of weighted limit with the approach by Gepner-Haugseng-Nikolaus. △ Less

Submitted 2 February, 2019; originally announced February 2019.

MSC Class: 55U35

Comparison of Waldhausen constructions

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for… ▽ More In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for exact functors. △ Less

Submitted 28 May, 2020; v1 submitted 11 January, 2019; originally announced January 2019.

MSC Class: 55U10; 55U35; 55U40; 18D05; 18G55; 18G30; 19D10

Journal ref: Ann. K-Th. 6 (2021) 97-136

A model structure on prederivators for $(\infty,1)$-categories

Authors: Daniel Fuentes-Keuthan, Magdalena Kedziorek, Martina Rovelli

Abstract: By theorems of Carlson and Renaudin, the theory of $(\infty,1)$-categories embeds in that of prederivators. The purpose of this paper is to give a two-fold answer to the inverse problem: understanding which prederivators model $(\infty,1)$-categories, either strictly or in a homotopical sense. First, we characterize which prederivators arise on the nose as prederivators associated to quasicategori… ▽ More By theorems of Carlson and Renaudin, the theory of $(\infty,1)$-categories embeds in that of prederivators. The purpose of this paper is to give a two-fold answer to the inverse problem: understanding which prederivators model $(\infty,1)$-categories, either strictly or in a homotopical sense. First, we characterize which prederivators arise on the nose as prederivators associated to quasicategories. Next, we put a model structure on the category of prederivators and strict natural transformations, and prove a Quillen equivalence with the Joyal model structure for quasicategories. △ Less

Submitted 15 October, 2018; originally announced October 2018.

Comments: 24 pages

MSC Class: 55U35; 18G30; 18A25

2-Segal objects and the Waldhausen construction

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Se… ▽ More In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Segal objects which is given by an $S_\bullet$-construction. We show that this equivalence fits together with the result in the discrete case and briefly discuss how it encompasses other known $S_\bullet$-constructions. △ Less

Submitted 28 September, 2018; originally announced September 2018.

MSC Class: 55U10; 55U35; 55U40; 18D05; 18G55; 18G30; 19D10

Journal ref: Algebr. Geom. Topol. 21 (2021) 1267-1326

Model structures for $(\infty,n)$-categories on (pre)stratified simplicial sets and prestratified simplicial spaces

Authors: Viktoriya Ozornova, Martina Rovelli

Abstract: We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established mod… ▽ More We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established models. △ Less

Submitted 22 May, 2020; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: Final version

MSC Class: 55U35; 18D05; 55U10

Journal ref: Algebr. Geom. Topol. 20 (2020) 1543-1600

The edgewise subdivision criterion for 2-Segal objects

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: We show that the edgewise subdivision of a $2$-Segal object is always a Segal object, and furthermore that this property characterizes $2$-Segal objects. We show that the edgewise subdivision of a $2$-Segal object is always a Segal object, and furthermore that this property characterizes $2$-Segal objects. △ Less

Submitted 13 July, 2018; originally announced July 2018.

The unit of the total décalage adjunction

Authors: Viktoriya Ozornova, Martina Rovelli

Abstract: We consider the décalage construction $\operatorname{Dec}$ and its right adjoint $T$. These functors are induced on the category of simplicial objects valued in any bicomplete category $\mathcal{C}$ by the ordinal sum. We identify $T \operatorname{Dec}X$ with the path object $X^{Δ[1]}$ for any simplicial object $X$. We then use this formula to produce an explicit retracting homotopy for the unit… ▽ More We consider the décalage construction $\operatorname{Dec}$ and its right adjoint $T$. These functors are induced on the category of simplicial objects valued in any bicomplete category $\mathcal{C}$ by the ordinal sum. We identify $T \operatorname{Dec}X$ with the path object $X^{Δ[1]}$ for any simplicial object $X$. We then use this formula to produce an explicit retracting homotopy for the unit $X\to T\operatorname{Dec}X$ of the adjunction $(\operatorname{Dec},T)$. When $\mathcal{C}$ is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in $\mathcal{C}$. △ Less

Submitted 22 May, 2020; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: Final version

MSC Class: 55U10; 18G30; 55P10

Characteristic classes as complete obstructions

Authors: Martina Rovelli

Abstract: In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a priori only on a single fiber of the bundle. By plugging in the correct parameters, we recover several classical theorems. Afterwards, we define a family of invaria… ▽ More In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a priori only on a single fiber of the bundle. By plugging in the correct parameters, we recover several classical theorems. Afterwards, we define a family of invariants of principal bundles that detect the number of group reductions that a principal bundle admits. We prove that they fit into a long exact sequence of abelian groups, together with the cohomology of the base space and the cohomology of the classifying space of the structure group. △ Less

Submitted 12 October, 2018; v1 submitted 27 October, 2016; originally announced October 2016.

Comments: 36 pages; Revised exposition, main results unchanged

MSC Class: 55R10

2-Segal sets and the Waldhausen construction

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: It is known by results of Dyckerhoff-Kapranov and of Gálvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. W… ▽ More It is known by results of Dyckerhoff-Kapranov and of Gálvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. We illustrate the equivalence for the known examples of partial monoids, cobordism categories with genus constraints and graph coalgebras. △ Less

Submitted 2 May, 2017; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: 48 pages. Final version. Will appear in Proceedings of WIT

A loo**-deloo** adjunction for topological spaces

Authors: Martina Rovelli

Abstract: Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group. Moreover the morphisms of topological groups defined on the loop space of X generate all the bundles over X up to equivalence. In this paper, we show that the relat… ▽ More Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group. Moreover the morphisms of topological groups defined on the loop space of X generate all the bundles over X up to equivalence. In this paper, we show that the relationship between Milnor's loop space and the classifying space functor is, in a precise sense, an adjoint pair between based spaces and topological groups in a homotopical context. This proof leads to a classification of principal bundles with a fixed structure group. Such a resul clarifies the deep relation that exists between the theory of bundles, the classifying space construction and the loop space construction, which are very important in topological K-theory, group cohomology and homotopy theory. △ Less

Submitted 23 February, 2016; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: v1: 24 pages; v2: 18 pages; Corrected typos; Revised structure in Introduction, and Sections 1 and 2; Results unchanged

MSC Class: 55R35