Fibrations of ordered groupoids and the factorization of ordered functors (Q263887)

A functor \(\phi: G \to H\) of groupoids is called \textit{star-surjective} or a \textit{fibration} if for each object \(x\in G\) and each morphism \(\beta\) of \(H\) starting at \(\phi(x)\) there exists a morphism \(\alpha\) of \(G\) such that \(\phi(\alpha)= \beta\). \textit{Star-injective} functors (\textit{immersions}) are defined similarly. Let \(A\) be a normal ordered subgroupoid of an ordered groupoid \(G\) and let \(G/ \negthickspace /A\) be the factor set defined by the relation \(g\simeq h \Longleftrightarrow \) there exist \(a,b,c,d \in A\) such that \(agb\leq h\) and \(chd\leq g\). It is proved that the relation \([ g] \leq [ k]\Longleftrightarrow \) there exist \(a,b\in A\) such that \(agb\leq k\) is a well-defined partial order which makes \(G/ \negthickspace /A\) an ordered groupoid and that the quotient map \(\bar{\omega}: G\to G/ \negthickspace /A\) is a fibration. Moreover, each ordered functor \(\theta: G \to H\) induces a star-injective functor \(\psi: G/ \negthickspace /A \to H\) such that \(\theta = \bar{\omega} \psi\). The authors use actions of ordered groupoids on ordered groupoids for studying factorizations of ordered functors of ordered groupoids. For example, it turns out that each morphism of ordered groupoids admits a factorization as an enlargement followed by a strong fibration and a covering.