Related papers: Characterizations of modalities and lex modalities
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…
Motivated by our attempt to understand characteristic classes of Lie groupoids and geometric structures, we are brought back to the fundamentals of the cohomology theories of Lie groupoids and algebroids. One element that was missing in the…
In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…
We bring a linkage from representation theory of Lie groups to homotopy theory for maps between flag manifolds. As applications we derive from representation theory abundant families of homotopy classes of maps between flag manifolds whose…
We discuss two categorical characterizations of the class of acyclic maps between (path-connected) spaces. The first one is in terms of the higher categorical notion of an epimorphism. The second one employs the notion of a balanced map,…
The purpose of this paper is to introduce $N_k(\ell)$-maps ($1\le k,\ell\le\infty$), which describe higher homotopy normalities, and to study their basic properties and examples. An $N_k(\ell)$-map is defined with higher homotopical…
Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vop\v{e}nka's principle. In this article, we prove that each of the…
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer,…
In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…
The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…
In this note, we study the delooping of spaces and maps in homotopy type theory. We show that in some cases, spaces have a unique delooping, and give a simple description of the delooping in these cases. We explain why some maps, such as…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…
We define the notion of a hierarchically cocompact classifying space for a family of subgroups of a group. Our main application is to show that the mapping class group $\mbox{Mod}(S)$ of any connected oriented compact surface $S$, possibly…
Given a Lie group acting on a manifold $M$ preserving a closed $n+1$-form $\omega$, the notion of homotopy moment map for this action was introduced in Callies-Fregier-Rogers-Zambon [6], in terms of $L_{\infty}$-algebra morphisms. In this…
Monoidal product, braiding, balancing and weak duality are pieces of algebraic information that are well-known to have their origin in oriented genus zero surfaces and their mapping classes. More precisely, each of them correspond to…
By using homotopy transfer techniques in the context of rational homotopy theory, we show that if $C$ is a coalgebra model of a space $X$, then the $A_\infty$-coalgebra structure in $H_*(X;\mathbb{Q})\cong H_*(C)$ induced by the higher…
Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…
Apart from global topological problems an affine homogeneous space is locally described by its curvature, its torsion and a slightly less tangible object called its connection in a given base point. Using this description of the local…
The goal of this paper is to illustrate different approaches to understand Euler characteristics in the setting of totally real commutative and non-commutative Iwasawa theory. In addition to this, and in the spirit of Hesselholt and…
We prove a new localization theorem for stable model categories if the localizing subcategory is generated by a precovering class in the model category. We use this to show how one may explicitly realize certain Bousfield localization…