ﻻ يوجد ملخص باللغة العربية
We denote the $n$-th projective space of a topological monoid $G$ by $B_nG$ and the classifying space by $BG$. Let $G$ be a well-pointed topological monoid of the homotopy type of a CW complex and $G$ a well-pointed grouplike topological monoid. We prove the weak equivalence between the pointed mapping space $mathrm{Map}_0(B_nG,BG)$ and the space of all $A_n$-maps from $G$ to $G$. This fact has several applications. As the first application, we show that the connecting map $Grightarrowmathrm{Map}_0(B_nG,BG)$ of the evaluation fiber sequence $mathrm{Map}_0(B_nG,BG)rightarrowmathrm{Map}(B_nG,BG)rightarrow BG$ is delooped. As other applications, we consider higher homotopy commutativity, $A_n$-types of gauge groups, $T_k^f$-spaces by Iwase--Mimura--Oda--Yoon and homotopy pullback of $A_n$-maps. In particular, we show that the $T_k^f$-space and the $C_k^f$-space are exactly the same concept and give some new examples of $T_k^f$-spaces.
Homotopy type theory is a version of Martin-Lof type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this article, we constru
We extend some classical results - such as Quillens Theorem A, the Grothendieck construction, Thomasons Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads and their a
From a map of operads $eta : Orightarrow O$, we introduce a cofibrant replacement of the operad $O$ in the category of bimodules over itself such that the corresponding model of the derived mapping space of bimodules $Bimod_{O}^{h}(O;O)$ is an algebr
W. Hurewicz proved that analytic Menger sets of reals are $sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has previously been ac
The class of loop spaces whose mod p cohomology is Noetherian is much larger than the class of p-compact groups (for which the mod p cohomology is required to be finite). It contains Eilenberg-Mac Lane spaces such as the infinite complex projective s