Related papers: Two-dimensional transducers

We generalize principal bundles and quotient stacks to the two-categorical context of bisites. We introduce a notion of principal 2-bundle that makes sense for a 2-category with finite flexible limits, endowed with a bitopology. We then use…

Recently, there has been growing interest in bicategorical models of programming languages, which are "proof-relevant" in the sense that they keep distinct account of execution traces leading to the same observable outcomes, while assigning…

We construct a (lax) Gray tensor product of $(\infty,2)$-categories and characterize it via a model-independent universal property. Namely, it is the unique monoidal biclosed structure on the $\infty$-category of $(\infty,2)$-categories…

In this paper we take up again the deformation theory for $K$-linear pseudofunctors initiated in a previous work (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of a 2-cosemisimplicial object in an arbitrary 2-category and…

This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…

We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of…

Semiadditivity of an $\infty$-category, i.e. the existence of biproducts, provides it with useful algebraic structure in the form of a canonical enrichment in commutative monoids. This ultimately comes from the fact that the…

We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…

In a bicategory of spans (an example of a 'generic bicategory') the factorization of a span (s,t) as the span (s,1) followed by (1,t) satisfies a simple universal property with respect to all factorizations in terms of the generic…

In this paper we study a toy categorical version of Lusztig's induction and restriction functors for character sheaves, but in the abstract setting of multifusion categories. Let $\mathscr{C}$ be an indecomposable multifusion category and…

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…

We introduce the theory of biset functors defined on finite categories. Previously, biset functors have been defined on groups, and in that context they are closely related to Mackey functors. Standard examples on groups include…

We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…

Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategorical version of linearly distributive categories. Essentially,…

A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent optics. Starting from two indexed categories, which encode what maps are allowed in the…

In [Homotopical Algebra, Springer LNM 43] Quillen introduces the notion of a model category: a category $\mathcal{C}$ provided with three distinguished classes of maps $\{\mathcal{W},\, \mathcal{F},\, co\mathcal{F}\}$ (weak equivalences,…

In this paper we introduce sigma limits (which we write $\sigma$-limits), a concept that interpolates between lax and pseudolimits: for a fixed family $\Sigma$ of arrows of a 2-category $\mathcal{A}$, a $\sigma$-cone for a $2$-functor…

The familiar trace of a square matrix generalizes to a trace of an endomorphism of a dualizable object in a symmetric monoidal category. To extend these ideas to other settings, such as modules over non-commutative rings, the trace can be…

This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the…

Tambara modules are strong profunctors between monoidal categories. They've been defined by Tambara in the context of representation theory, but quickly found their way in applications when it was understood Tambara modules provide a useful…