$\mathcal{H}$-Fibrations: Fibrations in Homotopy Category
نویسندگان
1 Department of Mathematics, Faculty of Science, Golestan university, P.O.Box 155, Gorgan, Iran
2 Department of Pure Mathematics, Center of Excellence in Analysis on Algebraic Structures, Ferdowsi University of Mashhad, P.O.Box 1159-91775, Mashhad, Iran.
3 Department of Mathematics, Faculty of Science, Golestan university, P.O.Box 155, Gorgan, Iran
4 Department of Pure Mathematics, Center of Excellence in Analysis on Algebraic Structures, Ferdowsi University of Mashhad, P.O.Box 1159-91775, Mashhad, Iran.
doi
10.48308/cgasa.2024.234981.1474چکیده
In this paper we generalize fibrations by $\mathcal{H}$-fibrations, the maps which homotopically lift homotopies. We replace the equalities in the definition of covering homotopy property with the homotopy relation so that we can first get an expression of the concept of covering homotopy property in the homotopy category. After introducing $\mathcal{H}$-fibrations, we will have a homotopy expression of some concepts related to fibration, such as path lifting, lifting function and unique path lifting property, to generalize some results in fibration. In particular, we show that an $\mathcal{H}$-fibration has homotopical path lifting property and also prove that a map is an $\mathcal{H}$-fibration if and only if it has a homotopical lifting function.
