English
Related papers

Related papers: The Lifting Theorem for Multitensors

200 papers

In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…

Category Theory · Mathematics 2013-09-18 Michael Batanin , Denis-Charles Cisinski , Mark Weber

In this paper we unify previous developments on higher operads and multitensors into a single framework in which the interplay between multitensors on a category V, and monads on the category of graphs enriched in V, is taken as…

Category Theory · Mathematics 2013-09-18 Mark Weber

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…

Category Theory · Mathematics 2010-04-21 Michael Batanin , Denis-Charles Cisinski , Mark Weber

The Day Reflection Theorem gives conditions under which a reflective subcategory of a closed monoidal category can be equipped with a closed monoidal structure in such a way that the reflection adjunction becomes a monoidal adjunction. We…

Category Theory · Mathematics 2015-07-14 Stephen Lack , Ross Street

In this note, we leverage the author's pasting theorem for $(\infty,n)$-categories to construct new models of $(\infty,n)$-categories for all $n \leq \infty$, as presheaves on certain categories of computads. Among these new models are some…

Category Theory · Mathematics 2023-11-02 Timothy Campion

We prove a new converse theorem for Borcherds' multiplicative theta lift which improves the previously known results. To this end we develop a newform theory for vector valued modular forms for the Weil representation, which might be of…

Number Theory · Mathematics 2012-10-18 Jan Hendrik Bruinier

We discuss the folklore construction of the Gray tensor product of 2-categories as obtained by factoring the map from the funny tensor product to the cartesian product. We show that this factorisation can be obtained without using a…

Category Theory · Mathematics 2022-01-31 John Bourke , Nick Gurski

We identify additional structure on a conservative lax monoidal functor from a closed monoidal category $\mathcal{C}$ to a Grothendieck-Verdier category $\mathcal{D}$, such that the Grothendieck-Verdier structure of $\mathcal{D}$ lifts to…

Category Theory · Mathematics 2026-01-22 Max Demirdilek

We introduce a method to lift monads on the base category of a fibration to its total category. This method, which we call codensity lifting, is applicable to various fibrations which were not supported by its precursor, categorical…

Logic in Computer Science · Computer Science 2023-06-22 Shin-ya Katsumata , Tetsuya Sato , Tarmo Uustalu

We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…

Category Theory · Mathematics 2016-01-07 Richard Garner , Ignacio López Franco

If we have a braid group acting on a derived category by spherical twists, how does a lift of the longest element of the symmetric group act? We give an answer to this question, using periodic twists, for the derived category of modules…

Representation Theory · Mathematics 2015-01-12 Joseph Grant

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the…

Logic in Computer Science · Computer Science 2015-07-01 Marta Bilkova , Alexander Kurz , Daniela Petrisan , Jiri Velebil

We formulate and prove a periodic analog of Maxwell's theorem relating stressed planar frameworks and their liftings to polyhedral surfaces with spherical topology. We use our lifting theorem to prove deformation and rigidity-theoretic…

Metric Geometry · Mathematics 2015-01-16 Ciprian S. Borcea , Ileana Streinu

We construct an $(\infty,2)$-version of the (lax) Gray tensor product. On the 1-categorical level, this is a binary (or more generally an $n$-ary) functor on the category of $\Theta_2$-sets, and it is shown to be left Quillen with respect…

Category Theory · Mathematics 2023-02-17 Yuki Maehara

We construct a (lax) Gray tensor product of $(\infty,2)$-categories and characterize it via a model-independent universal property. Namely, it is the unique monoidal biclosed structure on the $\infty$-category of $(\infty,2)$-categories…

Category Theory · Mathematics 2023-04-13 Timothy Campion , Yuki Maehara

We provide a unified treatment of several commuting tensor products considered in the literature, including the tensor product of enriched categories and the Boardman-Vogt tensor product of operads and symmetric multicategories, subsuming…

Category Theory · Mathematics 2025-11-19 Nicola Gambino , Richard Garner , Christina Vasilakopoulou

We analyse compatibility between monads and monoidal structures in the two-dimensional setting. We describe sufficient conditions for monoidal structures to lift to the Eilenberg-Moore pseudoalgebras. We then extend these results to braids,…

Category Theory · Mathematics 2024-02-20 Adrian Miranda

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…

Category Theory · Mathematics 2024-09-20 Kengo Hirata

We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the…

Logic in Computer Science · Computer Science 2015-07-01 Nathan Bowler , Sergey Goncharov , Paul Blain Levy , Lutz Schröder

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…

Category Theory · Mathematics 2023-06-06 Thibault D. Décoppet
‹ Prev 1 2 3 10 Next ›