English
Related papers

Related papers: Skew structures in 2-category theory and homotopy …

200 papers

The basic data for a skew-monoidal category are the same as for a monoidal category, except that the constraint morphisms are no longer required to be invertible. The constraints are given a specific orientation and satisfy Mac Lane's five…

Category Theory · Mathematics 2013-07-02 Mitchell Buckley , Richard Garner , Stephen Lack , Ross Street

This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…

Category Theory · Mathematics 2025-11-25 Joaquim Reizi Higuchi

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies methods used by the author to build monoidal…

Algebraic Topology · Mathematics 2007-05-23 James Gillespie

We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…

Algebraic Topology · Mathematics 2020-01-13 Charles Rezk , Stefan Schwede , Brooke Shipley

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

Algebraic Topology · Mathematics 2013-01-04 Julia E. Bergner

We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $\Gamma$-objects in 2-categories. In the course of the proof we establish strictfication…

Algebraic Topology · Mathematics 2017-12-07 Nick Gurski , Niles Johnson , Angélica M. Osorno

We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…

Category Theory · Mathematics 2020-01-29 John Bourke , Stephen Lack

This article presents a novel approach to construct a model category structure designed to model the homotopy theory of spaces equipped with an action by the group $C_2$, where morphisms are considered to be isovariant. Our methodology…

Algebraic Topology · Mathematics 2023-12-14 Santiago Toro Oquendo

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 instal homological algebra, including derived functors, on certain non-additive categories like categories of pointed CW-complexes, modules of monoids or sheaves thereof. We apply this theory to Monoid schemes and sheaves on them,…

Number Theory · Mathematics 2017-09-04 Anton Deitmar

We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of…

Category Theory · Mathematics 2024-09-04 Adrian Miranda

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…

Category Theory · Mathematics 2014-07-08 Jan Stovicek

It is well known that the category of Gray-categories does not admit a monoidal biclosed structure that models weak higher-dimensional transformations. In this paper, the first of a series on the topic, we describe several skew monoidal…

Category Theory · Mathematics 2023-11-10 John Bourke , Gabriele Lobbia

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

Algebraic Topology · Mathematics 2024-12-31 Boris Chorny , David White

We introduce semidirect products of skew monoidal categories as a categorification of semidirect products of monoids (or, perhaps more familiarly, of groups). We also discuss how this construction interacts with monoidal, autonomous and…

Category Theory · Mathematics 2016-07-05 Ben Fuller

This work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. Skew monoidal closed categories represent a relaxed version…

Logic · Mathematics 2025-01-03 Cheng-Syuan Wan

In this paper, we develop the proof theory of skew prounital closed categories. These are variants of the skew closed categories of Street where the unit is not represented. Skew closed categories in turn are a weakening of the closed…

Logic in Computer Science · Computer Science 2021-01-12 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger

In this monograph, we extend S. Schwede's exact sequence interpretation of the Gerstenhaber bracket in Hochschild cohomology to certain exact and monoidal categories. Therefore we establish an explicit description of an isomorphism by A.…

Rings and Algebras · Mathematics 2016-05-23 Reiner Hermann

In this survey paper we give account of several approaches to the strictification and non-strictification of monoidal categories, which are constructions that turn a monoidal category into a (non-)strict one monoidally equivalent to the…

Category Theory · Mathematics 2024-12-31 Jorge Becerra

This thesis focuses on topics in 2-category theory: in particular on double categories, pseudomonads and codescent objects. In Chapter 2 we recall all the necessary notions. In Chapter 3 we show that factorization systems can be…

Category Theory · Mathematics 2025-04-08 Miloslav Štěpán