Related papers: An $(\infty,n)$-categorical pasting theorem

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

This paper is dedicated to the study of smashing weight structures (one may say that these are weight structures "coherent with arbitrary coproducts"), and the application of their properties to $t$-structures. In particular, we prove that…

We define a class of non-compact Fano toric manifolds, called admissible toric manifolds, for which Floer theory and quantum cohomology are defined. The class includes Fano toric negative line bundles, and it allows blow-ups along fixed…

We study what happens when coherence fails. Categories with a tensor product and a natural associativity isomorphism that does not necessarily satisfy the pentagon coherence requirements (called associative categories) are considered.…

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

We show that anyon chains, after stabilizing with infinite-dimensional ancilla spaces, factorize locally as tensor products of infinite-dimensional Hilbert spaces. This implies that any unitary fusion category can be realized as symmetries…

In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model…

The inclusion of non-Abelian U(N) internal charges (other than the electric charge) into Twistor Theory is accomplished through the concept of "colored twistors" (ctwistors for short) transforming under the colored conformal symmetry…

We introduce a framework for constructing fractal trees via analytic generator fields, replacing discrete affine transformations and symbolic rewriting rules by the integration of smooth vector fields in an internal state space. In this…

In [Joyal] where the category $\Theta$ is first defined it is noted that the dimensional shift on $\Theta$ suggests an elegant presentation of the unreduced suspension on cellular sets. In this note we prove that the reduced suspension…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

The next-to-next-to-leading order spin-squared interaction potential for generic compact binaries is derived for the first time via the effective field theory for gravitating spinning objects in the post-Newtonian scheme. The spin-squared…

We study corrections to the soft graviton theorem at all loop orders in Yukawa and scalar theories, both in the high energy and low energy regions. It is found that the tree level soft theorem is corrected by matrix elements coupled to the…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…

Increasingly in recent years, probabilistic computation has been investigated through the lenses of categorical algebra, especially via string diagrammatic calculi. Whereas categories of discrete and Gaussian probabilistic processes have…

We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…

Density functional theory, when applied to systems with $T\neq 0$, is based on the grand canonical extension of the Hohenberg-Kohn-Sham theorem due to Mermin (HKSM theorem). While a straightforward canonical ensemble generalization fails,…

Part 2 of 3 from master's thesis: Modeling Compact Objects with Effective Field Theory. Using the Effective Field Theory framework for extended objects, we build the effective theory of a binary system made up of the most general compact…

We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object…