Related papers: The low-dimensional structures formed by tricatego…

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and…

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral…

Any tricategory characteristically has associated various simplicial or pseudo-simplicial objects. This paper explores the relationship amongst three of them: the pseudo-simplicial bicategory so-called Grothendieck nerve of the tricategory,…

In this article we introduce the notion of a square structure on a model category, that generalises cubical model categories. We then show that under some homotopical conditions on this square structure the induced cubical category is a…

Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…

We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…

We introduce the notion of symplectic microfolds and symplectic micromorphisms between them. They form a monoidal category, which is a version of the "category" of symplectic manifolds and canonical relations obtained by localizing them…

Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild…

We initiate a systematic study of 3-dimensional `defect' topological quantum field theories, that we introduce as symmetric monoidal functors on stratified and decorated bordisms. For every such functor we construct a tricategory with…

This article deals with 3-forms on 6-dimensional manifodls, the first dimension where the classification of 3-forms is not trivial. There are three classes of multisymplectic 3-forms there. We study the class which is closely related to…

Given a thick subcategory of a triangulated category, we define a colocalisation and a natural long exact sequence that involves the original category and its localisation and colocalisation at the subcategory. Similarly, we construct a…

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…

We establish how a higher local field can be described as a locally convex vector space once an embedding of a local field into it has been fixed. This extends previous results that had been obtained in the two-dimensional case. In…

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…

Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…

This paper adresses two issues in dealing with bicategories of fractions. The first is to introduce a set of conditions on a class of arrows in a bicategory which is weaker than the one given in Pronk, Etendues and stacks as bicategories of…

This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from…