Related papers: Colimits in 2-dimensional slices
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
What is the optimal way to cut a convex bounded domain $K$ in Euclidean space $(\mathbb{R}^n,|\cdot|)$ into two halves of equal volume, so that the interface between the two halves has least surface area? A conjecture of Kannan, Lov\'asz…
We consider the Dirichlet problem for a class of semilinear equations on two dimensional convex domains. We give a sufficient condition for the solution to be concave. Our condition uses comparison with ellipses, and is motivated by an idea…
We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…
We prove a Schwarz-Jack lemma for holomorphic functions on the unit disk with the property that their maximum modulus on each circle about the origin is attained at a point on the positive real axis. With the help of this result, we…
We study global properties of quaternionic slice regular functions (also called s-regular) defined on symmetric slice domains. In particular, thanks to new techniques and points of view, we can characterize the property of being one-slice…
Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…
In 2+1 dimensions, Dirac fermions in reducible, i.e. four-component representations of the spinor algebra form the basis of many interesting model field theories and effective descriptions of condensed matter phenomena. This paper explores…
The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join…
Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…
One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…
We give a definition of weak morphism of $T$-algebras, for a $2$-monad $T$, with respect to an arbitrary family $\Omega$ of $2$-cells of the base $2$-category. By considering particular choices of $\Omega$, we recover the concepts of lax,…
The paper is devoted to a comprehensive second-order study of a remarkable class of convex extended-real-valued functions that is highly important in many aspects of nonlinear and variational analysis, specifically those related to…
We show that for the regular n-simplex, the 1-codimensional central slice that's parallel to a facet will achieve the minimum area (up to a 1-o(1) factor) among all 1-codimensional central slices, thus improving the previous best known…
We study classes of domains in $\mathbb{R}^{d+1},\ d \geq 2$ with sufficiently flat boundaries that admit a decomposition or covering of bounded overlap by Lipschitz graph domains with controlled total surface area. This study is motivated…
We extend the classical Titchmarsh theorems to the Fourier transform of two types of H\"older-Lipschitz functions - additive and multiplicative - defined on fundamental domains of lattices in $\mathbb{R}^d$. Our approach is based on…
In this paper we address the basic geometric question of when a given convex set is the image under a linear map of an affine slice of a given closed convex cone. Such a representation or 'lift' of the convex set is especially useful if the…
In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).…
We introduce two-dimensional logics based on \L{}ukasiewicz and G\"{o}del logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product…
In this paper we investigate continuity properties of first and second order shape derivatives of functionals depending on second order elliptic PDE's around nonsmooth domains, essentially either Lipschitz or convex, or satisfying a uniform…