Fibrations of ordered groupoids and the factorization of ordered functors (Q263887)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fibrations of ordered groupoids and the factorization of ordered functors |
scientific article |
Statements
Fibrations of ordered groupoids and the factorization of ordered functors (English)
0 references
5 April 2016
0 references
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.
0 references
ordered groupoid
0 references
functor
0 references
fibration
0 references
covering
0 references
groupoid action
0 references
semidirect product
0 references