Related papers: Cartesian Bicategories II
Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in foliation theory, to Waldmann's work on…
Among right-closed monoidal categories with finite coproducts, we characterise those with finite biproducts as being precisely those in which the initial object and the coproduct of the unit with itself admit right duals. This generalises…
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial…
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…
In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…
It is well-known that the category of Kleisli algebras for a monoidal monad carries a canonical monoidal structure. We define the notion of a commutative graded monad and present a strictly two-categorical proof that Kleisli algebras for…
A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally…
We show how to construct a Gamma-bicategory from a symmetric monoidal bicategory, and use that to show that the classifying space is an infinite loop space upon group completion. We also show a way to relate this construction to the classic…
Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also…
We use Cartier's preadditive symmetric monoidal categories to study Lie bialgebras. We prove that bosonization can be done consistently in this framework. In the last part of the paper we present explicit examples and indicate a deep…
This is a first of a series of two papers. Our motive is to tackle the question raised in B\"ohm's "The Gray Monoidal Product of Double Categories" from Applied Categorical Structures: which would be an alternative notion to intercategories…
Although multiplier bimonoids in general are not known to correspond to comonoids in any monoidal category, we classify them in terms of maps from the Catalan simplicial set to another suitable simplicial set; thus they can be regarded as…
We continue the project begun in ``The periodic table of $n$-categories for low dimensions I'' by examining degenerate tricategories and comparing them with the structures predicted by the Periodic table. For triply degenerate tricategories…
We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced…
We give a double categorical version of the recently introduced notion of premonoidal bicategories. We introduce a funny product and a funny type of multicategory on double categories granting them a closed funny monoidal structure. We…
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…
We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…
This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories…
It is well-known that small categories have equivalent descriptions as partial monoids. We provide a formulation of partial monoid and partial monoid homomorphism involving $s$ and $t$ instead of identities and then following a recent…
Given any category $\mathcal{C}$ with pullbacks and a terminal object, we show that the data consisting of the objects of $\mathcal{C}$, the spans of $\mathcal{C}$, and the isomorphism classes of spans of spans of $\mathcal{C}$, forms a…