Related papers: Constructing the Unstable Motivic Homotopy Categor…

In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.

We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the…

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…

We give a model-independent definition of limits for diagrams valued in an $(\infty,n)$-category. We show that this definition is compatible with the existing notion of homotopy 2-limits for 2-categories, with the existing notion of…

We study operads in unstable global homotopy theory, which is the homotopy theory of spaces with compatible actions by all compact Lie groups. We show that the theory of these operads works remarkably well, as for example it is possible to…

Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak…

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…

We prove that the category $\textbf{G-Cat}$ of small categories with $G$-action forms a model of unstable $G$-global homotopy theory for every discrete group $G$, generalizing Schwede's global model structure on $\textbf{Cat}$. As a…

This paper is part of an endeavor to define an analogue of the slice filtration in the unstable motivic homotopy category. Our approach was inspired by the fact that the triangulated structures do not play a relevant role for the…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

We construct a comparison functor from the dual category of motivic homotopy category $\mathcal{SH}$ to the category of $\mathbb{A}^1$-invariant localizing motives $\operatorname{Mot}_{\operatorname{loc}}^{\mathbb{A}^1}$ in the sense of…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…

We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the…

This is the first draft of a book about higher categories approached by iterating Segal's method, as in Tamsamani's definition of $n$-nerve and Pelissier's thesis. If $M$ is a tractable left proper cartesian model category, we construct a…

We construct more non-trivial examples for Toda brackets in unstable motivic homotopy theory via the first and second motivic Hopf maps.

A categorical generalization of the notion of movability from the inverse systems and shape theory was given by the first author who defined the notion of movable category and interpreted by this the movability of topological spaces. In…

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…

In this work, we begin studying the classification, up to isomorphism, of unstable H*V-A-modules E such that the tensor product of F_2 and E over H*V is isomorphic to a given unstable A-module.

This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…