Related papers: Higher Segal spaces via higher excision
Bulk supergravity on a manifold with boundary must be supplemented by boundary conditions that preserve local supersymmetry. This "downstairs" picture has certain advantages over the equivalent "upstairs" picture, expressed in terms of…
Classical $W$-algebras in higher dimensions are constructed. This is achieved by generalizing the classical Gel'fand-Dickey brackets to the commutative limit of the ring of classical pseudodifferential operators in arbitrary dimension.…
We study an elliptic operator $L:=\mathrm{div}(A\nabla \cdot)$ on the upper half plane $\mathbb{R}^2_+$. There are several conditions on the behavior of the matrix $A$ in the transversal $t$-direction that yield $\omega\in…
We develop a categorical index calculus for elliptic symbol families. The categorified index problems we consider are a secondary version of the traditional problem of expressing the index class in K-theory in terms of…
We apply the notion of a full convex subcategory to a wide range of algebras including tilted, quasi-tilted, shod, weakly shod, left and right glued, laura, simply connected, strongly simply connected, left supported, and cluster-tilted. In…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
Bondal and Kapranov describe how to assign to a full exceptional collection on a variety X a DG category C such that the bounded derived category of coherent sheaves on X is equivalent to the bounded derived category of C. In this paper we…
In this paper we expand on B.-W. Schulze's abstract edge pseudodifferential calculus and introduce a larger class of operators that is modeled on H\"ormander's $\varrho,\delta$ calculus, where $0 \leq \delta < \varrho \leq 1$. This…
We continue the development of the theory of higher dimensional walks on ordinals began recently by Bergfalk. In particular we identify natural coherence conditions on higher dimensional $C$-sequences that entail coherence of the resultant…
We show that the Rezk classification diagram of a relative category admitting a homotopical version of the two-sided calculus of fractions is a Segal space up to Reedy-fibrant replacement. This generalizes the result of Rezk and Bergner on…
Formulating a Schubert problem as the solutions to a system of equations in either Pl\"ucker space or in the local coordinates of a Schubert cell usually involves more equations than variables. Using reduction to the diagonal, we previously…
In this paper the Weyl tensor is used to define operators that act on the space of forms. These operators are shown to have interesting properties and are used to classify the Weyl tensor, the well known Petrov classification emerging as a…
We introduce and motivate -- based on ongoing joint work with Germ\'an Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent…
We propose the categorification of the algebraic analysis as the Leibniz 3-category given by generators and relations, including the Leibniz 3-cell relation. The Leibniz category offers the `most general' `(co-)derivation' 3-cell. We…
We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.
We introduce refutationally complete superposition calculi for intentional and extensional clausal $\lambda$-free higher-order logic, two formalisms that allow partial application and applied variables. The calculi are parameterized by a…
We give a capacitary type characterization of Carleson measures for a class of Hardy-Sobolev spaces (also known as weighted Dirichlet spaces) on the Siegel upper half-space, introduced by Arcozzi et al. This answers in part a question…
We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus…
We show that the Segal topos of derived stacks over simplicial commutative $k$-algebras, which can be used to model natural phenomena, has a subobject classifier, something we regard as being a source from which dynamics is generated. This…
We establish a parameter-dependent pseudo-differential calculus on an infinite cylinder, regarded as a manifold with conical exits to infinity. The parameters are involved in edge-degenerate form, and we formulate the operators in terms of…