Showing 1–10 of 10 results for author: Gagna, A

Straightening for lax transformations and adjunctions of $(\infty,2)$-categories

Authors: Fernando Abellán, Andrea Gagna, Rune Haugseng

Abstract: We prove an unstraightening result for lax transformations between functors from an arbitrary $(\infty,2)$-category to that of $(\infty,2)$-categories. We apply this to study partially (op)lax and weighted (co)limits, giving fibrational descriptions of such (co)limits for diagrams valued in $(\infty,2)$-categories, to characterize adjoints in $(\infty,2)$-categories of functors and (op)lax transfo… ▽ More We prove an unstraightening result for lax transformations between functors from an arbitrary $(\infty,2)$-category to that of $(\infty,2)$-categories. We apply this to study partially (op)lax and weighted (co)limits, giving fibrational descriptions of such (co)limits for diagrams valued in $(\infty,2)$-categories, to characterize adjoints in $(\infty,2)$-categories of functors and (op)lax transformations, and to prove a mate correspondence between lax transformations that are componentwise right adjoints and oplax transformations that are componentwise left adjoints, for such transformations among functors between arbitrary $(\infty,2)$-categories. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 70 pages

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

Cartesian Fibrations of $(\infty,2)$-categories

Authors: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Abstract: In this article we introduce four variance flavours of cartesian 2-fibrations of $\infty$-bicategories with $\infty$-bicategorical fibres, in the framework of scaled simplicial sets. Given a map $p\colon \mathcal{E} \rightarrow\mathcal{B}$ of $\infty$-bicategories, we define $p$-(co)cartesian arrows and inner/outer triangles by means of lifting properties against $p$. Inner/outer (co)cartesian 2-f… ▽ More In this article we introduce four variance flavours of cartesian 2-fibrations of $\infty$-bicategories with $\infty$-bicategorical fibres, in the framework of scaled simplicial sets. Given a map $p\colon \mathcal{E} \rightarrow\mathcal{B}$ of $\infty$-bicategories, we define $p$-(co)cartesian arrows and inner/outer triangles by means of lifting properties against $p$. Inner/outer (co)cartesian 2-fibrations are then defined to be maps with enough (co)cartesian lifts for arrows and enough inner/outer lifts for triangles, together with a compatibility property with respect to whiskerings in the outer case. By doing so, we also recover in particular the case of $\infty$-bicategories fibred in $\infty$-categories studied in previous work. We also prove that equivalences of such 2-fibrations can be tested fiberwise. As a motivating example, we show that the domain projection $\mathrm{d}\colon\mathrm{RMap}(Δ^1,\mathcal{C})\rightarrow \mathcal{C}$ is a prototypical example of an outer cartesian 2-fibration, where $\mathrm{RMap}(X,Y)$ denotes the $\infty$-bicategory of functors, lax natural transformations and modifications. We then define inner/outer (co)cartesian 2-fibrations of categories enriched in $\infty$-categories, and we show that a fibration $p\colon \mathcal{E} \rightarrow \mathcal{B}$ of such categories is a (co)cartesian inner/outer 2-fibration if and only if the corresponding scaled nerve $\mathrm{N}^{\mathrm{sc}}(p)\colon \mathrm{N}^{\mathrm{sc}}\mathcal{E} \rightarrow \mathrm{N}^{\mathrm{sc}}\mathcal{B}$ is a fibration of this type between $\infty$-bicategories. △ Less

Submitted 7 January, 2024; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: Final version accepted for publication. Preliminaries expanded and section 2 reorganized, with the main example now occupying section 3

MSC Class: 18N65; 18N50; 55U35

Journal ref: Algebr. Geom. Topol. 24 (2024) 4731-4778

Bilimits are Bifinal Objects

Authors: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Abstract: We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a limiting bifinal object in the category of cones. Everything is developed in the context of marked 2-categories, so that the machinery can be applied to differ… ▽ More We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a limiting bifinal object in the category of cones. Everything is developed in the context of marked 2-categories, so that the machinery can be applied to different levels of laxity, including pseudo-limits. △ Less

Submitted 26 April, 2022; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: Fixed some typos and mistakes, improved exposition. To appear on JPAA

MSC Class: 18D30; 18D70; 18N10

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

Fibrations and lax limits of $(\infty,2)$-categories

Authors: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Abstract: We study four types of (co)cartesian fibrations of $\infty$-bicategories over a given base $\mathcal{B}$, and prove that they encode the four variance flavors of $\mathcal{B}$-indexed diagrams of $\infty$-categories. We then use this machinery to set up a general theory of 2-(co)limits for diagrams valued in an $\infty$-bicategory, capable of expressing lax, weighted and pseudo limits. When the… ▽ More We study four types of (co)cartesian fibrations of $\infty$-bicategories over a given base $\mathcal{B}$, and prove that they encode the four variance flavors of $\mathcal{B}$-indexed diagrams of $\infty$-categories. We then use this machinery to set up a general theory of 2-(co)limits for diagrams valued in an $\infty$-bicategory, capable of expressing lax, weighted and pseudo limits. When the $\infty$-bicategory at hand arises from a model category tensored over marked simplicial sets, we show that this notion of 2-(co)limit can be calculated as a suitable form of a weighted homotopy limit on the model categorical level, thus showing in particular the existence of these 2-(co)limits in a wide range of examples. We finish by discussing a notion of cofinality appropriate to this setting and use it to deduce the unicity of 2-(co)limits, once exist. △ Less

Submitted 10 March, 2021; v1 submitted 8 December, 2020; originally announced December 2020.

Comments: 79 pages, section on cofinality expanded and references added

MSC Class: 55U35; 18N65; 18N50

Gray tensor products and lax functors of $(\infty,2)$-categories

Authors: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Abstract: We give a definition of the Gray tensor product in the setting of scaled simplicial sets which is associative and forms a left Quillen bifunctor with respect to the bicategorical model category of Lurie. We then introduce a notion of oplax functor in this setting, and use it in order to characterize the Gray tensor product by means of a universal property. A similar characterization was used by Ga… ▽ More We give a definition of the Gray tensor product in the setting of scaled simplicial sets which is associative and forms a left Quillen bifunctor with respect to the bicategorical model category of Lurie. We then introduce a notion of oplax functor in this setting, and use it in order to characterize the Gray tensor product by means of a universal property. A similar characterization was used by Gaitsgory and Rozenblyum in their definition of the Gray product, thus giving a promising lead for comparing the two settings. △ Less

Submitted 25 June, 2020; originally announced June 2020.

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

On a notion of oplax 3-functor

Authors: Andrea Gagna

Abstract: We introduce a notion of normalised oplax $3$-functor suitable for the elementary homotopy theory of strict $3$-categories, following the combinatorics of orientals. We show that any such morphism induces a morphism of simplicial sets between the Street nerves and we characterise those morphisms of simplicial sets coming from normalised oplax $3$-functors. This allows us to prove that normalised o… ▽ More We introduce a notion of normalised oplax $3$-functor suitable for the elementary homotopy theory of strict $3$-categories, following the combinatorics of orientals. We show that any such morphism induces a morphism of simplicial sets between the Street nerves and we characterise those morphisms of simplicial sets coming from normalised oplax $3$-functors. This allows us to prove that normalised oplax $3$-functors compose. Finally we construct a strictification for normalised oplax $3$-functors whose source is a $1$-category without split-monos or split-epis. △ Less

Submitted 29 April, 2020; originally announced April 2020.

MSC Class: 18N20 (Primary) 18N30; 55U35 (Secondary)

On the equivalence of all models for $(\infty,2)$-categories

Authors: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Abstract: The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's model of $\infty$-bicategories, which, in turn, has been shown to be equivalent to all other known models for $(\infty,2)$-categories. A key technical input is… ▽ More The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's model of $\infty$-bicategories, which, in turn, has been shown to be equivalent to all other known models for $(\infty,2)$-categories. A key technical input is given by identifying the notion of $\infty$-bicategories with that of weak $\infty$-bicategories, a step which allows us to understand Lurie's model structure in terms of Cisinski--Olschok's theory. This description of $\infty$-bicategories, which may be of independent interest, is proved using tools coming from a new theory of outer (co)cartesian fibrations, further developed in a companion paper. In the last part of the paper we construct a homotopically fully faithful scaled simplicial nerve functor for $2$-categories, we give two equivalent descriptions of it, and we show that the homotopy $2$-category of an $\infty$-bicategory retains enough information to detect thin $2$-simplices. △ Less

Submitted 1 March, 2022; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: Many typos fixed, some details added and exposition clarified. To appear on the JLMS

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

Strict n-categories and augmented directed complexes model homotopy types

Authors: Andrea Gagna

Abstract: In this paper we show that both the homotopy category of strict $n$-categories, $1\leqslant n \leqslant \infty$, and the homotopy category of Steiner's augmented directed complexes are equivalent to the category of homotopy types. In order to do so, we first prove an abstract result, based on a strategy of Fritsch and Latch, giving sufficient conditions for a nerve functor with values in simplicia… ▽ More In this paper we show that both the homotopy category of strict $n$-categories, $1\leqslant n \leqslant \infty$, and the homotopy category of Steiner's augmented directed complexes are equivalent to the category of homotopy types. In order to do so, we first prove an abstract result, based on a strategy of Fritsch and Latch, giving sufficient conditions for a nerve functor with values in simplicial sets to induce an equivalence at the level of homotopy categories. We then apply this result to strict $n$-categories and augmented directed complexes, for which the hypothesis of our theorem were established by Ara and Maltsiniotis. △ Less

Submitted 15 February, 2018; v1 submitted 13 December, 2016; originally announced December 2016.