In this paper, we study the homotopy theory of single intersection graphs arising from acting spaces over topological semigroups. An acting space
is defined as a topological space
equipped with a continuous action of a topological semigroup
[...] Read more.
In this paper, we study the homotopy theory of single intersection graphs arising from acting spaces over topological semigroups. An acting space
is defined as a topological space
equipped with a continuous action of a topological semigroup
, generalizing the notion of algebraic actions in a topological setting. To connect this structure with graph theory, we associate to each acting space a single intersection graph
, whose vertices are proper
-subacting spaces, and two vertices are adjacent if their intersection is a singleton set. This graph construction encodes both algebraic and topological interactions between subacting spaces and provides a framework to study connectivity and homotopical properties via combinatorial methods. We then work within a categorical framework, where objects are graphical acting semigroups and morphisms are
-acting maps, allowing us to systematically study structural properties and their invariance under morphisms. In this setting, we introduce the notion of acting fibrations and formulate the corresponding lifting problem. Our main result establishes that an
-acting map is an acting fibration if and only if it admits an
-lifting function, providing a characterization analogous to classical fibration theory. Furthermore, we introduce
-regular lifting functions and analyze their role in preserving homotopical structures, including a natural homotopy extension property.
Full article