Showing 1–25 of 25 results for author: Ozornova, V

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

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

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

Stable homotopy hypothesis in the Tamsamani model

Authors: Lyne Moser, Viktoriya Ozornova, Simona Paoli, Maru Sarazola, Paula Verdugo

Abstract: We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types. We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types. △ Less

Submitted 13 June, 2020; v1 submitted 15 January, 2020; originally announced January 2020.

MSC Class: 18B40; 18D05; 18D10; 19D23; 55P10; 55P42

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

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

Rings of modular forms and a splitting of $TMF_0(7)$

Authors: Lennart Meier, Viktoriya Ozornova

Abstract: Among topological modular forms with level structure, $TMF_0(7)$ at the prime $3$ is the first example that had not been understood yet. We provide a splitting of $TMF_0(7)$ at the prime 3 as $TMF$-module into two shifted copies of $TMF$ and two shifted copies of $TMF_1(2)$. This gives evidence to a much more general splitting conjecture. Along the way, we develop several new results on the algebr… ▽ More Among topological modular forms with level structure, $TMF_0(7)$ at the prime $3$ is the first example that had not been understood yet. We provide a splitting of $TMF_0(7)$ at the prime 3 as $TMF$-module into two shifted copies of $TMF$ and two shifted copies of $TMF_1(2)$. This gives evidence to a much more general splitting conjecture. Along the way, we develop several new results on the algebraic side. For example, we show the normality of rings of modular forms of level $n$ and introduce cubical versions of moduli stacks of elliptic curves with level structure. △ Less

Submitted 11 December, 2018; originally announced December 2018.

Comments: 62 pages; one appendix joint with Martin Olbermann

MSC Class: 55N34; 55P42; 14J15; 11F11; 14D23

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

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

Factorability, String Rewriting and Discrete Morse Theory

Authors: Alexander Heß, Viktoriya Ozornova

Abstract: This article deals with the notion of factorability. Elements of a factorable group or monoid possess a normal form, which leads to a small complex homotopy equivalent to its bar complex, thus computing its homology. We investigate the relations to string rewriting and to discrete Morse theory on the bar complex. Furthermore, we describe a connection between factorability and Garside theory. This article deals with the notion of factorability. Elements of a factorable group or monoid possess a normal form, which leads to a small complex homotopy equivalent to its bar complex, thus computing its homology. We investigate the relations to string rewriting and to discrete Morse theory on the bar complex. Furthermore, we describe a connection between factorability and Garside theory. △ Less

Submitted 9 December, 2014; originally announced December 2014.

MSC Class: 20F05 (Primary) 20J06; 20F10; 20F36; 20M05; 68Q42; 57T30

Fibrancy of Partial Model Categories

Authors: Lennart Meier, Viktoriya Ozornova

Abstract: We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe connections to calculi of fractions. We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe connections to calculi of fractions. △ Less

Submitted 12 August, 2014; originally announced August 2014.

Comments: 30 pages

MSC Class: 18G30; 55U35; 18G55

A model structure on GCat

Authors: Anna Marie Bohmann, Kristen Mazur, Angélica M. Osorno, Viktoriya Ozornova, Kate Ponto, Carolyn Yarnall

Abstract: We define a model structure on the category GCat of small categories with an action by a finite group G by lifting the Thomason model structure on Cat. We show there is a Quillen equivalence between GCat with this model structure and GTop with the standard model structure. We define a model structure on the category GCat of small categories with an action by a finite group G by lifting the Thomason model structure on Cat. We show there is a Quillen equivalence between GCat with this model structure and GTop with the standard model structure. △ Less

Submitted 2 June, 2014; v1 submitted 18 November, 2013; originally announced November 2013.

Comments: 12 pages. Final version. Will appear in Proceedings for WIT (Women in Topology Workshop)

MSC Class: 55P91 (Primary); 18G55 (Secondary)

Journal ref: Women in topology: collaborations in homotopy theory, 123-134, Contemp. Math., 641, Amer. Math. Soc., Providence, RI, 2015

Discrete Morse Theory and a Reformulation of the K(π,1)-conjecture

Authors: Viktoriya Ozornova

Abstract: A recent theorem of Dobrinskaya states that the K(π,1)-conjecture holds for an Artin group G if and only if the canonical map from BM to BG is a homotopy equivalence, where M denotes the Artin monoid associated to G. The aim of this paper is to give an alternative proof by means of discrete Morse theory and abstract homotopy theory. Moreover, we exhibit a new model for the classifying space of an… ▽ More A recent theorem of Dobrinskaya states that the K(π,1)-conjecture holds for an Artin group G if and only if the canonical map from BM to BG is a homotopy equivalence, where M denotes the Artin monoid associated to G. The aim of this paper is to give an alternative proof by means of discrete Morse theory and abstract homotopy theory. Moreover, we exhibit a new model for the classifying space of an Artin monoid, in the spirit of Charney, Meier and Whittlesey, and a small chain complex for computing its monoid homology, similar to the one of Squier. △ Less

Submitted 16 September, 2013; v1 submitted 5 September, 2013; originally announced September 2013.

Comments: Reference added