Related papers: Double-functorial representation of regular monoid…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
A Frobenius manifold is a manifold with a flat metric and a Frobenius algebra structure on tangent spaces at points of the manifold such that the structure constants of multiplication are given by third derivatives of a potential function…
Fo-bicategories are a categorification of Peirce's calculus of relations. Notably, their laws provide a proof system for first-order logic that is both purely equational and complete. This paper illustrates a correspondence between…
If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…
It is shown how double categories provide a direct abstract approach to coloured operads; namely, product-preserving normal lax functors from (Pb C)^op (the opposite of the double category of pullback squares in C) to Cat (the double…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…
We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the…
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…
In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of…
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 explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. In particular, we show that every Frobenius object in a monoidal category M arises from an ambijunction…
It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…
This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and…
A fundamental result of Beilinson-Ginzburg-Soergel states that on flag varieties and related spaces, a certain modified version of the category of l-adic perverse sheaves exhibits a phenomenon known as Koszul duality. The modification…
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 prove a duality principle for a special class of submanifolds in pseudo-Euclidean spaces. This class of submanifolds with potential of normals is introduced in this paper. We prove also, for example, that an arbitrary Frobenius manifold…
In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…
We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…