English
Related papers

Related papers: A convenient category of cubes

200 papers

We prove, without set theoretic assumptions, that every locally presentable category C endowed with a tractable cofibrantly generated class of cofibrations has a unique minimal (or left induced) Quillen model structure. More generally, for…

Category Theory · Mathematics 2020-11-30 Simon Henry

A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known…

Logic in Computer Science · Computer Science 2023-06-22 Jean-Simon Pacaud Lemay

Frobenius monoidal functors preserve duals. We show that conversely, (co)monoidal functors between autonomous categories which preserve duals are Frobenius monoidal. We apply this result to linearly distributive functors between autonomous…

Category Theory · Mathematics 2014-07-15 Adriana Balan

We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…

Category Theory · Mathematics 2021-11-12 Youssef Mousaaid , Alistair Savage

The connection between maximal sets of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space and finite phase-space geometries is well known. In this article we classify MUBs according to their degree of covariance with…

Mathematical Physics · Physics 2016-06-23 Claudio Carmeli , Jussi Schultz , Alessandro Toigo

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…

Rings and Algebras · Mathematics 2021-09-28 Brett McLean

This paper is a contribution to the construction of non-semisimple modular categories. We establish when M\"uger centralizers inside non-semisimple modular categories are also modular. As a consequence, we obtain conditions under which…

Quantum Algebra · Mathematics 2023-05-04 Robert Laugwitz , Chelsea Walton

Furber and Jacobs have shown in their study of quantum computation that the category of commutative C*-algebras and PU-maps (positive linear maps which preserve the unit) is isomorphic to the Kleisli category of a comonad on the category of…

Category Theory · Mathematics 2017-01-04 Abraham Westerbaan

We show how to treat families of $\infty$-categories fibered in categorical patterns (e.g., $\infty$-operads and monoidal $\infty$-categories) in terms of fibrations by relativizing the Grothendieck construction. As applications, we…

Category Theory · Mathematics 2024-04-02 Kensuke Arakawa

It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic…

Combinatorics · Mathematics 2015-10-20 Stuart Margolis , John Rhodes , Pedro V. Silva

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

We develop a unified representation theory for the categories of finite subsets and relation-preserving maps of highly homogeneous relational structures classified by Cameron. For any commutative coefficient ring $k$, we extend the…

Representation Theory · Mathematics 2026-04-28 Liping Li

We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak…

Algebraic Topology · Mathematics 2014-10-01 Thomas M. Fiore , Simona Paoli

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

Representation Theory · Mathematics 2017-10-19 Masaki Kashiwara , Myungho Kim , Se-jin Oh

We show that braided, sylleptic and symmetric monoidal bicategories are precisely the $\mathsf{E}_k$-monoids in the cartesian monoidal $(\infty,1)$-category of bicategories for respective integers $k$. To manage the underlying computations,…

Category Theory · Mathematics 2026-02-17 Raffael Stenzel

We show that a continuously-normed Banach bundle $\mathcal{E}$ over a compact Hausdorff space $X$ whose space of sections is algebraically finitely-generated (f.g.) over $C(X)$ is locally trivial (and hence the section space is projective…

Functional Analysis · Mathematics 2024-06-28 Alexandru Chirvasitu

We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…

K-Theory and Homology · Mathematics 2016-11-09 Boris Shoikhet

In this note we present a combinatorial link invariant that underlies some recent stable homotopy refinements of Khovanov homology of links. The invariant takes the form of a functor between two combinatorial 2-categories, modulo a notion…

Geometric Topology · Mathematics 2021-11-16 Tyler Lawson , Robert Lipshitz , Sucharit Sarkar

A notion of support for objects in any Grothendieck category is introduced. This is based on the spectral category of a Grothendieck category and uses its Boolean lattice of localising subcategories. The support provides a classification of…

Category Theory · Mathematics 2024-12-11 Henning Krause

We develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…

Algebraic Topology · Mathematics 2025-12-16 Ekansh Jauhari , John Oprea