Fibrations of ordered groupoids and the factorization of ordered functors

Nouf AlYamani, Nicholas David Gilbert*, Elizabeth Caroline Miller

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)
62 Downloads (Pure)


We investigate canonical factorizations of ordered functors of ordered groupoids through star-surjective functors. Our main construction is a quotient ordered groupoid, depending on an ordered version of the notion of normal subgroupoid, that results is the factorization of an ordered functor as a star-surjective functor followed by a star-injective functor. Any star-injective functor possesses a universal factorization through a covering, by Ehresmann's Maximum Enlargement Theorem. We also show that any ordered functor has a canonical factorization through a functor with the ordered homotopy lifting property.
Original languageEnglish
Pages (from-to)121-146
Number of pages26
JournalApplied Categorical Structures
Issue number2
Early online date15 May 2015
Publication statusPublished - Apr 2016


  • Covering
  • Fibration
  • Functor
  • Ordered groupoid

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Fibrations of ordered groupoids and the factorization of ordered functors'. Together they form a unique fingerprint.

Cite this