Related papers: Spherical monadic adjunctions of stable infinity c…

Let $\pi$ be a group satisfying the Farrell-Jones conjecture and assume that $B\pi$ is a 4-dimensional Poincar\'e duality space. We consider topological, closed, connected manifolds with fundamental group $\pi$ whose canonical map to $B\pi$…

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

In this article, we introduce and study the concept of $\textit{spherical-vectors}$, which can be perceived as a natural extension of the arguments of complex numbers in the context of quaternions. We initially establish foundational…

We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from…

Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$…

We introduce the class of strongly sofic monoids. This class of monoids strictly contains the class of sofic groups and is a proper subclass of the class of sofic monoids. We define and investigate sofic topological entropy for actions of…

When identified with sequences of irreducible Hermitian-Einstein connections, sequences of stable holomorphic bundles of fixed topological type and bounded degree on a compact complex surface equipped with a Gauduchon metric are shown to…

We prove equivalent numerical conditions for a complete spherical variety to admit a toric structure, and for the smoothness of an arbitrary spherical variety along any given G-orbit. The conditions are in terms of spherical skeletons, a…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Each lens space has a canonical contact structure which lifts to the distribution of complex lines on the three-sphere. In this paper, we show that a symplectic homology cobordism between two lens spaces, which is given with the canonical…

We study the relationship between the categorical entropy of the twist and cotwist functors along a spherical functor. In particular, we prove the categorical entropy of the twist functor coincides with that of the cotwist functor if the…

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous…

In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar…

We establish a bijective correspondence between affine connections and a class of semi-holonomic jets of local diffeomorphisms of the underlying manifold called symmetry jets in the text. The symmetry jet corresponding to a torsion free…

Given a locally presentable enriched category $\mathcal{E}$ together with a small dense full subcategory $\mathcal A$ of arities, we study the relationship between monads on $\mathcal E$ and identity-on-objects functors out of $\mathcal A$,…

This paper is a step towards the complete topological classification of {\Omega}-stable diffeomorphisms on an orientable closed surface, aiming to give necessary and sufficient conditions for two such diffeomorphisms to be topologically…

It is known that factorisation systems in categories can be viewed as unitary pseudo algebras for the "squaring" monad in Cat. We show in this note that an analogous fact holds for proper (i.e., epi-mono) factorisation systems and a…

In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms…

We show that whenever a closed symplectic manifold admits a Hamiltonian diffeomorphism with finitely many simple periodic orbits, the manifold has a spherical homology class of degree two with positive symplectic area and positive integral…

We show in this work that homology in degree d of a congruence group, in a very general framework, defines a weakly polynomial functor of degree at most 2d and we describe this functor modulo polynomial functors of smaller degree. Our main…