Homology, Homotopy and Applications

Volume 22 (2020)

Number 1

Box-homotopy and the reduction of $\mathit{pro}^*\textit{-}\mathit{HTop}$ category

Pages: 55 – 68

DOI: https://dx.doi.org/10.4310/HHA.2020.v22.n1.a4


Nikola Koceić Bilan (Faculty of Science, University of Split, Croatia)

Ivančica Mirošević (Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture, University of Split, Croatia)


A new generalized definition of homotopy is proposed, including a new class of continuous mappings that we call box-homotopies. It turns out that to be box-homotopic is an equivalence relation on $\mathit{Top}(X,Y)$ and $\mathit{HTop}(X,Y)$, and that it is well adjusted with composition, which allows us to introduce a new category $H _{\square}\mathit{Top}$, the corresponding quotient category of the category $\mathit{HTop}$, and consequently, $\mathit{pro}\textit{-}H _{\square}\mathit{Top}$. We propose a new functor $\tilde{R}$ from $\mathit{pro}^{*}\textit{-}\mathit{HTop}$ to $\mathit{pro}\textit{-}H _{\square}\mathit{Top}$, which represents morphisms in $\mathit{pro}^{*}$-category as morphisms in $\mathit{pro}$-category between more complex objects.


reduced product, $P$-space, box-homotopy, $\mathit{pro}^*$-category

2010 Mathematics Subject Classification

55N99, 55P55, 55Q05

Received 3 December 2018

Accepted 24 May 2019

Published 23 October 2019