Related papers: Pita factorisation in operadic categories

We give an alternative argument to the application of the so-called Maurey- Nikishin-Pisier factorisation in Fourier restriction theory. Based on an induction-on-scales argument, our comparably simple method applies to any compact quadratic…

The functor between operadic algebras given by restriction along an operad map generally has a left adjoint. We give a necessary and sufficient condition for the restriction functor to admit a right adjoint. The condition is a factorization…

Here, we present a subcategory pEff of Hyland's Effective Topos Eff which can be considered a predicative variant of Eff itself. The construction of pEff is motivated by the desire of providing a "predicative" categorical universe of…

We present a categorical formulation of the Hamiltonian renormalisation programme for quantum field theories, establishing a systematic bridge between functional and lattice renormalisation. To this end, we introduce two categories, $Seq$…

We prove that the semigroup operation of a topological semigroup $S$ extends to a continuous semigroup operation on its the Stone-\v{C}ech compactification $\beta S$ provided $S$ is a pseudocompact openly factorizable space, which means…

We study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We…

We suggest a general framework for compactifing quasi-projective Lagrangian fibrations of geometric origin by holomorphic symplectic varieties. This framework includes a compactification criterion, which we then apply to various fibrations…

The behavior of factorization properties in various ring extensions is a central theme in commutative algebra. Classically, the UFDs are (completely) integrally closed and tend to behave well in standard ring extensions, with the notable…

We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…

We introduce some deformations of the biset category and prove a semisimplicity property. We also consider another group category, called the subgroup category, whose morphisms are subgroups of direct products, the composition being star…

This article investigates atomic decompositions in geometric lattices isomorphic to the partition lattice $\Pi(X)$ of a finite set $X$, a fundamental structure in lattice theory and combinatorics. We explore the role of atomicity in these…

For a formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ \pi^{\rm dJ}_1(\mathfrak{X}_\eta) \to \pi^{\rm proet}_1(\mathfrak{X}_k) \] from the de Jong fundamental…

In the first part of this paper we study fibrations of $(\infty,2)$-categories. We give a simple characterization of such fibrations in terms of a certain square being a pullback, and apply this to show that in some cases…

We characterize the tripos-to-topos construction of Hyland, Johnstone and Pitts as a biadjunction in a bicategory enriched category of equipment-like structures. These abstract concepts are necessary to handle the presence of oplax…

We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet…

We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…

This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant…

In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…

We characterise the (closeness classes of) quasi-isometric embeddings as the regular monomorphisms in the coarsely Lipschitz category, formalising the notion that they are isomorphisms onto their image. Furthermore, we prove that the…

We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating…