Related papers: Homotopy spectral sequences
Unlike Grothendieck's \'etale fundamental group, Nori's fundamental group does not fulfill the homotopy exact sequence in general. We give necessary and sufficient conditions which force exactness of the sequence.
It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…
In this note, we outline the general development of a theory of symmetric homology of algebras, an analog of cyclic homology where the cyclic groups are replaced by symmetric groups. This theory is developed using the framework of crossed…
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…
In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to…
We construct a log algebraic version of the homotopy sequence for a quasi-projective normal crossing log variety over a log point of characteristic zero and prove some exactness properties of it. Our proofs are purely algebraic.
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…
We define homotopy group actions in terms of families of $A_\infty$ algebras indexed by a manifold M. We give explicit formulae for the $A_\infty$ morphism induced by a path on the manifold and for the $A_\infty$ homotopy corresponding to a…
In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can…
This is a survey. The main subject of this survey is the homotopical or homological nature of certain structures which appear in classical problems about groups, Lie rings and group rings. It is well known that the (generalized) dimension…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
Rump has recently showed the existence of a unique maximal Quillen exact structure on any additive category. We study when this is given by the stable short exact sequences, i.e. kernel-cokernel pairs consisting of a semi-stable kernel and…
Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…
Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the…
This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…
The symmetric spectra introduced by Hovey, Shipley and Smith are a convenient model for the stable homotopy category with a nice associative and commutative smash product on the point set level and a compatible Quillen closed model…
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…
We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…