Related papers: Sigma limits in 2-categories and flat pseudofuncto…

We prove that the free algebra functor associated to a symmetric, pseudo commutative 2-monad, from the underlying symmetric monoidal 2-category to the 2-category of algebras and pseudo maps over the 2-monad can be enhanced to a…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…

Grothendieck develops the theory of pro-objects over a category $\mathsf{C}$. The fundamental property of the category $\mathsf{Pro}(\mathsf{C})$ is that there is an embedding $\mathsf{C} \overset{c}{\longrightarrow}…

In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…

In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that…

The theory of Lie algebras can be categorified starting from a new notion of "2-vector space", which we define as an internal category in Vect. There is a 2-category 2Vect having these 2-vector spaces as objects, "linear functors" as…

A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…

Our main goal in this work is to deal with results concern to the $\sigma_2$-curvature. First we find a symmetric 2-tensor canonically associated to the $\sigma_2$-curvature and we present an Almost Schur Type Lemma. Using this tensor we…

In this paper, we introduce pre-Lie and pre-Leibniz superalgebras, which generalize pre-Lie and pre-Leibniz algebras to the super setting. Additionally, we define a Levi-Civita product associated with a symmetric non-degenerate bilinear…

We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…

We discuss pseudoduality transformations in two dimensional conformally invariant classical sigma models, and extend our analysis to a given boundaries of world-sheet, which gives rise to an appropriate framework for the discussion of the…

We introduce the notions of $\mathbb{K}$-framings, based $\mathbb{K}$-framings and relative $\mathbb{K}$-framings of a compact connected oriented surface $\Sigma$ for any commutative ring $\mathbb{K}$ with unit, and a map which maps a based…

Motivated by the observation that $2+2=4$, we consider four-dimensional $\mathcal{N}=2$ superconformal field theories on $S^2\times\Sigma$, turning on a suitable rigid supergravity background. On the one hand, reduction of a…

The \emph{flat deformation theorem} states that given a semi-Riemannian analytic metric $g$ on a manifold, locally there always exists a two-form $F$, a scalar function $c$, and an arbitrarily prescribed scalar constraint depending on the…

Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this…

We construct superconformal gauged sigma models with extended rigid supersymmetry in three dimensions. Those with N>4 have necessarily flat targets, but the models with N \leq 4 admit non-flat targets, which are cones with appropriate…

We introduce a functor $\mathcal V\colon \mathrm{DblCat}_{h,nps}\to \mathrm{2Cat}_{h,nps}$ extracting from a double category a $2$-category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of…

Rigidly superconformal sigma models in higher than two dimensions are constructed. These models rely on the existence of conformal Killing spinors on the $p+1$ dimensional worldvolume $(p\le 5)$, and homothetic conformal Killing vectors in…

We define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital)…