-
arXiv:2404.01031 [pdf, ps, other]
An $\mathcal{O}$-monoidal Grothendieck construction
Abstract: Given an operad $\mathcal{O}$, we define a notion of weak $\mathcal{O}$-monoids -- which we term $\mathcal{O}$-pseudomonoids -- in a 2-category. In the special case with the 2-category in question is the 2-category $\mathsf{Cat}$ of categories, this yields a notion of $\mathcal{O}$-monoidal category, which in the case of the associative and commutative operads retrieves unbiased notions of monoida… ▽ More
Submitted 1 April, 2024; originally announced April 2024.
Comments: 37 pages. Comments welcome
MSC Class: 18N10 (primary); 18M60 (secondary)
-
Twisted simplicial distributions
Abstract: We introduce a theory of twisted simplicial distributions on simplicial principal bundles, which allow us to capture Bell's non-locality, and the more general notion of quantum contextuality. We leverage the classical theory of simplicial principal bundles, as well as structures on categories of such bundles, to provide powerful computational tools for analyzing twisted distributions in terms of b… ▽ More
Submitted 28 March, 2024; originally announced March 2024.
Comments: 51 pages
-
arXiv:2403.18102 [pdf, ps, other]
The operadic theory of convexity
Abstract: In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal categories, we state and prove a Grothendieck construction for lax $\scr{O}$-monoidal functors into convex sets. We apply this construction to the categorical ch… ▽ More
Submitted 26 March, 2024; originally announced March 2024.
Comments: 42 pages
-
arXiv:2311.15342 [pdf, ps, other]
Frobenius and commutative pseudomonoids in the bicategory of spans
Abstract: In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar characterization for the analogous coherent structures in the bicategory of spans of sets. We show that commutative and Frobenius pseudomonoids in $\operatorname{Span}$ co… ▽ More
Submitted 26 November, 2023; originally announced November 2023.
Comments: 46 pages. Comments welcome
MSC Class: 18B10
-
arXiv:2304.07028 [pdf, ps, other]
On cofinal functors of $\infty$-bicategories
Abstract: In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via generalizations of the conditions of Quillen's Theorem A. As a key ingredient for the proof of our main theorem we produce for every functor of $\infty$-bicategories… ▽ More
Submitted 14 April, 2023; originally announced April 2023.
Comments: Comments welcome! The results of this paper appeared originally in arXiv:2201.09589. The former paper is now splitted into two different works
-
arXiv:2201.09589 [pdf, ps, other]
2-Cartesian fibrations II: A Grothendieck construction for $\infty$-bicategories
Abstract: In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's straightening-unstraightening adjunction, thereby furnishing an equivalence between the $\infty$-bicategory of 2-Cartesian fibrations over $S$ and the $\infty$-bica… ▽ More
Submitted 13 April, 2023; v1 submitted 24 January, 2022; originally announced January 2022.
Comments: Comments welcome! v2: This version only includes the Grothendieck construction. The results regarding cofinality are now appearing in a separate paper
-
arXiv:2106.03606 [pdf, ps, other]
2-Cartesian fibrations I: A model for $\infty$-bicategories fibred in $\infty$-bicategories
Abstract: In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled simplicial sets equipped with an additional collection of triangles containing the scaled 2-simplices, which we call lean triangles, in addition to a collection of edges… ▽ More
Submitted 7 June, 2021; originally announced June 2021.
Comments: Comments welcome!
-
arXiv:2009.11969 [pdf, ps, other]
Enhanced twisted arrow categories
Abstract: Given an $\infty$-bicategory $\mathbb{D}$ with underlying $\infty$-category $\mathcal{D}$, we construct a Cartesian fibration $\operatorname{Tw}(\mathbb{D})\to \mathcal{D} \times \mathcal{D}^{\operatorname{op}}$, which we call the enhanced twisted arrow $\infty$-category, classifying the restricted map** category functor… ▽ More
Submitted 24 September, 2020; originally announced September 2020.
Comments: 35 pages
-
Topological field theories on open-closed $r$-spin surfaces
Abstract: In this article, we establish a connection between two models for $r$-spin structures on surfaces: the marked PLCW decompositions of Novak and Runkel-Szegedy, and the structured graphs of Dyckerhoff-Kapranov. We use these models to describe $r$-spin structures on open-closed bordisms, leading to a generators-and-relations characterization of the 2-dimensional open-closed $r$-spin bordism category.… ▽ More
Submitted 1 June, 2022; v1 submitted 29 April, 2020; originally announced April 2020.
Comments: v2: 36 pages, corrected minor mistakes in v1, version appeared in Topology and its Applications
Journal ref: Topology and its Applications, Volume 312, 2022, 108062
-
arXiv:2002.12817 [pdf, ps, other]
Theorem A for marked 2-categories
Abstract: In this work, we prove a generalization of Quillen's Theorem A to 2-categories equipped with a special set of morphisms which we think of as weak equivalences, providing sufficient conditions for a 2-functor to induce an equivalence on $(\infty,1)$-localizations. When restricted to 1-categories with all morphisms marked, our theorem retrieves the classical Theorem A of Quillen. We additionally sta… ▽ More
Submitted 13 April, 2020; v1 submitted 28 February, 2020; originally announced February 2020.
Comments: 36 pages
-
A relative 2-nerve
Abstract: In this work, we introduce a 2-categorical variant of Lurie's relative nerve functor. We prove that it defines a right Quillen equivalence which, upon passage to $\infty$-categorical localizations, corresponds to Lurie's scaled unstraightening equivalence. In this $\infty$-bicategorical context, the relative 2-nerve provides a computationally tractable model for the Grothendieck construction which… ▽ More
Submitted 22 January, 2020; v1 submitted 14 October, 2019; originally announced October 2019.
Comments: 30 pages, 1 figure, v2:minor revisions, v3: final version accepted for publication in Algebr. Geom. Topol
Journal ref: Algebr. Geom. Topol. 20 (2020) 3147-3182
-
arXiv:1905.06671 [pdf, ps, other]
2-Segal objects and algebras in spans
Abstract: We define a category parameterizing Calabi-Yau algebra objects in an infinity category of spans. Using this category, we prove that there are equivalences of infinity categories relating, firstly: 2-Segal simplicial objects in C to algebra objects in Span(C); and secondly: 2-Segal cyclic objects in C to Calabi-Yau algebra objects in Span(C).
Submitted 16 May, 2019; originally announced May 2019.
Comments: 56 pages
-
Structured Topological Field Theories via Crossed Simplicial Groups
Abstract: We show how the framework of crossed simplicial groups may be used to provide a classification of topological field theories on open cobordism categories defined by reductions of the structure group to a planar Lie group. Such theories are equivalent to algebras equipped with a group action and a non-degenerate trace satisfying certain invariance requirements which generalize the notion of a frobe… ▽ More
Submitted 8 March, 2016; originally announced March 2016.
Comments: 46 pages, 7 figures
MSC Class: 55N22