Related papers: Double Clubs

We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

One aim of this paper is to develop some aspects of the theory of monoidal derivators. The passages from categories and model categories to derivators both respect monoidal objects and hence give rise to natural examples. We also introduce…

We discuss some consequences of the fact that symmetry groups appearing in compactified (super-)gravity may be non-simply connected. The possibility to add fermions to a theory results in a simple criterion to decide whether a 3-dimensional…

We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…

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,…

This paper emerged as a result of tackling the following three issues. Firstly, we would like the well known embedding of bicategories into pseudo double categories to be monoidal, which it is not if one uses the usual notion of a monoidal…

Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces, $(\infty,1)$-categories, and $\infty$-groupoids.…

We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail.

In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…

In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double-categorical transformations and modifications, and show that ordinary natural transformations and…

Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…

We consider a theory of centers and homotopy centers of monoids in monoidal categories which themselves are enriched in duoidal categories. Duoidal categories (introduced by Aguillar and Mahajan under the name 2-monoidal categories) are…

We obtain strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. Along the way, we establish new results in club-guessing and in the general theory of…

We formulate some conjectures about the K-theory of symplectic manifolds and their Fukaya categories, and prove some of them in very special cases.

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…

We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories ${\cal T}$. We describe pp formulas, pp-types and free realisations in such categories and we prove elimination of…

We study finitary 2-categories associated to dual projection functors for finite dimensional associative algebras. In the case of path algebras of admissible tree quivers (which includes all Dynkin quivers of type A) we show that the monoid…

A subvariety of a complex projective space has a well-known dual variety, which is the set of its tangent hyperplanes. The purpose of this paper is to generalise this notion for a subvariety of a quite general partial flag variety. A…