Related papers: Abstract Goerss-Hopkins theory
A general method of producing correspondences and spectral categories out of symmetric ring objects in general categories is given. As an application, stable homotopy theory of spectra $SH$ is recovered from modules over a commutative…
A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of presentability ranks, a notion of cardinality…
This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…
We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
We develop geometric approach to A-infinity algebras and A-infinity categories based on the notion of formal scheme in the category of graded vector spaces. Geometric approach clarifies several questions, e.g. the notion of homological unit…
The topological Hochschild homology THH(R) of a commutative S-algebra (E_infty ring spectrum) R naturally has the structure of a commutative R-algebra in the strict sense, and of a Hopf algebra over R in the homotopy category. We show,…
For a connected quasi-split reductive algebraic group $G$ over a field $k$, which is either a finite field or a non-archimedean local field, $\theta$ an involutive automorphism of $G$ over $k$, let $K =G^\theta$. Let $K^1=[K^0,K^0]$, the…
Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…
In this paper we describe the homotopy category of the $A_\infty$categories. To do that we introduce the notion of semi-free $A_\infty$category, which plays the role of standard cofibration. Moreover, we define the non unital $A_\infty$…
We classify combinatorial Dyson-Schwinger equations giving a Hopf subalgebra of the Hopf algebra of Feynman graphs of the considered Quantum Field Theory. We first treat single equations with an arbitrary number (eventually infinite) of…
We show that an iteration of the procedure used to define the Gorenstein projective modules over a commutative ring $R$ yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective…
We explain how the approach of Andre and Quillen to defining cohomology and homology as suitable derived functors extends to generalized (co)homology theories, and how this identification may be used to study the relationship between them.…
Let L be a finite extension of Qp, and let K be a spherically complete non-archimedean extension field of L. In this paper we introduce a restricted category of continuous representations of locally L-analytic groups G in locally convex…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
We put into evidence graphs with adjacency operator whose singular subspace is prescribed by the kernel of an auxiliary operator. In particular, for a family of graphs called admissible, the singular continuous spectrum is absent and there…
For all spherical homogeneous spaces G/H, where G is a simply connected semisimple algebraic group and H a connected solvable subgroup of G, we compute the spectra of the representations of G on spaces of regular sections of homogeneous…