Related papers: Sigma limits in 2-categories and flat pseudofuncto…
The well-known calculus of fractions of Gabriel and Zisman provides a convenient way to formally invert morphisms in a category. This was generalised to bicategories by Pronk. We extend these constructions by presenting a calculus of lax…
This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain…
We compute the semiflat positive cone $K_0^{+SF}(A_\theta^\sigma)$ of the $K_0$-group of the irrational rotation orbifold $A_\theta^\sigma$ under the noncommutative Fourier transform $\sigma$ and show that it is determined by classes of…
The notion of pseudocategory, as considered in [11], is extended from the context of a 2-category to the more general one of a sesquicategory, which is considered as a category equipped with a 2-cell structure. Some particular examples of…
We study monads in the (pseudo-)double category $\mathbf{KSW}(\mathcal{K})$ where loose arrows are Mealy automata valued in an ambient monoidal category $\mathcal{K}$, and the category of tight arrows is $\mathcal{K}$. Such monads turn out…
We discuss the quantized theory of a pure-gauge non-abelian vector field (flat connection) as it would appear in a mass term a` la Stueckelberg. However the paper is limited to the case where only the flat connection is present (no field…
In this paper we show that if $\mathscr{C}$ is a category and if $F\colon\mathscr{C}^{\operatorname{op}} \to \mathfrak{Cat}$ is a pseudofunctor such that for each object $X$ of $\mathscr{C}$ the category $F(X)$ is a tangent category and for…
Bilinear pseudodifferential operators with symbols in the bilinear analog of all the H\"ormander classes are considered and the possibility of a symbolic calculus for the transposes of the operators in such classes is investigated. Precise…
We show that the superconformal symmetries of the (1,1) sigma model decompose into a set of more refined symmetries when the target space admits projectors $P_{\pm}$, and the orthogonal complements $Q_{\pm}$, covariantly constant with…
We study the structure of the flat space wavefunctional in scalar field theories with nonlinearly realized symmetries. These symmetries imply soft theorems that are satisfied by wavefunction coefficients in the limit where one of the…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
Given a pseudomonad $\mathcal{T} $, we prove that a lax $\mathcal{T} $-morphism between pseudoalgebras is a $\mathcal{T} $-pseudomorphism if and only if there is a suitable (possibly non-canonical) invertible $\mathcal{T} $-transformation.…
Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…
The implicit signature k consists of the multiplication and the ({\omega}-1)-power. We describe a procedure to transform each {\kappa}-term over a finite alphabet A into a certain canonical form and show that different canonical forms have…
We study discrete opfibration classifiers in enhanced 2-categories and show how, under suitable hypotheses, such classifiers can be endowed with the structure of a (lax or pseudo-)T-algebra and classify strict discrete opfibrations in…
By considering a (partial) topological twisting of supersymmetric Yang-Mills compactified on a 2d space with `t Hooft magnetic flux turned on we obtain a supersymmetric $\sigma$-model in 2 dimensions. For N=2 SYM this maps Donaldson…
In this paper, we explore various ways in which a factor $\sigma$-algebra $\mathscr{B}$ can sit in a dynamical system $\mathbf{X} :=(X, \mathscr{A}, \mu, T)$, i.e. we study some possible structures of the extension $\mathscr{A} \rightarrow…
In this article, we consider a formulation of biset functors using the 2-category of finite sets with variable finite group actions. We introduce a 2-category $\mathbb{S}$, on which a biset functor can be regarded as a special kind of…
We obtain explicit expressions for genus 2 degenerate sigma-function in terms of genus $1$ sigma-function and elementary functions as solutions of a system of linear PDEs satisfied by the sigma-function. By way of application we derive a…
There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened -- these are tentatively called fair…