Related papers: On some adjunctions in equivariant stable homotopy…

Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…

Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…

We construct the unitary analogue of orthogonal calculus developed by Weiss, utilising model categories to give a clear description of the intricacies in the equivariance and homotopy theory involved. The subtle differences between real and…

We study the subcategory of topological operads $P$ such that $P(0) = *$ (the category of unitary operads in our terminology). We use that this category inherits a model structure, like the category of all operads in topological spaces, and…

We prove the precise inversion of adjunction formula for finite linear group quotients of complete intersection varieties defined by semi-invariant equations. As an application, we prove the semi-continuity of minimal log discrepancies for…

A careful account is given of generalized equivariant homology theories on the category of topological pairs acted on by a group. In particular, upon restriction to the category of equivariant simplicial complexes, the equivalence of…

We study equivariant coarse homology theories through an axiomatic framework. To this end we introduce the category of equivariant bornological coarse spaces and construct the universal equivariant coarse homology theory with values in the…

We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the…

We define a coherent adjunction in a strict $3$-category and we use string diagrams to show that any adjunction can be extended to a coherent adjunction in an essentially unique way.

For equivariant stable homotopy theory, equivariant KK-theory and equivariant derived categories, we show how restriction to a subgroup of finite index yields a finite commutative separable extension, analogous to finite \'etale extensions…

We establish inequalities that constrain the genera of smooth cobordisms between knots in 4-dimensional cobordisms. These "relative adjunction inequalities" improve the adjunction inequalities for closed surfaces which have been…

We provide a formulation of the univalence axiom in a universe category model of dependent type theory that is convenient to verify in homotopy-theoretic settings. We further develop a strengthening of the univalence axiom, called pointed…

For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and…

This belongs to a series of papers devoted to the study of the cohomology of classifying spaces of Lie groupoids. Our aim here is to introduce and study the notion of representation up to homotopy of Lie groupoids, the resulting derived…

This survey focuses on two main types of finite-rank perturbations: self-adjoint and unitary. We describe both classical and more recent spectral results. We pay special attention to singular self-adjoint perturbations and model…

The aim of this note is to provide a comprehensive treatment of the homotopy theory of $\Gamma$-$G$-spaces for $G$ a finite group. We introduce two level and stable model structures on $\Gamma$-$G$-spaces and exhibit Quillen adjunctions to…

We construct a map from the suspension $G$-spectrum $\Sigma_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

We give a construction of the obstruction theory for $\mathbb{A}_{n}$-algebra structures in stable $\infty$-categories, and give some properties of it. We use this to show that the spectrum $\mathbb{S} / 4$ admits an…

Adjunctions of two variables generalize the relationship between tensor product and the internal hom functor in a closed monoidal category. For a pair of ordinary adjunctions $(F\dashv U, F'\dashv U')$ conjugation relates natural…