Related papers: Building the bicategory Span$_2(\mathcal {C})$

We extend Barwick's and Haugseng's construction of the double $\infty$-category of spans in a pullback-complete $\infty$-category $\mathfrak{C}$ to more general shapes: for a large class of algebraic patterns $\mathfrak{P}$, we define a…

We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain…

For a 2-category 2C we associate a notion of a principal 2C-bundle. In case of the 2-category of 2-vector spaces in the sense of M.M. Kapranov and V.A. Voevodsky this gives the the 2-vector bundles of N.A. Baas, B.I. Dundas and J. Rognes.…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

In this paper we construct a bicategory of (super) algebra bundles over a smooth manifold, where the 1-morphisms are bundles of bimodules. The main point is that naive definitions of bimodule bundles will not lead to a well-defined…

Every small category $C$ has a classifying space $BC$ associated in a natural way. This construction can be extended to other contexts and set up a fruitful interaction between categorical structures and homotopy types. In this paper we…

We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…

For a category $\mathcal{C}$ with finite limits and a class $\mathcal{S}$ of monomorphisms in $\mathcal{C}$ that is pullback stable, contains all isomorphisms, is closed under composition, and has the strong left cancellation property, we…

We endow the cohomology of configuration spaces of a manifold with a product arising from superposing configurations. We prove that, under the scanning isomorphism, this product corresponds to the cup-product of the section space of the…

A skeleton of the category with finite coproducts D freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products C freely generated by a countable set of objects. As a consequence, we…

We introduce the notion of a bicocycle double cross product (resp. sum) Lie group (resp. Lie algebra), and a bicocycle double cross product bialgebra, generalizing the unified products. On the level of Lie groups the construction yields a…

We construct higher categories of iterated spans, possibly equipped with extra structure in the form of "local systems", and classify their fully dualizable objects. By the Cobordism Hypothesis, these give rise to framed topological quantum…

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…

We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of…

We define a bicategory in which the 0-cells are the entwinings over variable rings. The 1-cells are triples of a bimodule and two maps of bimodules which satisfy an additional hexagon, two pentagons and two (co)unit triangles; and the…

Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…

Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algebra of relations that has proved especially useful in recent…

Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (i.e. an ordinary category with finite products). We show…