Fibrations of ordered groupoids and the factorization of ordered functors

Nouf AlYamani, Nicholas David Gilbert, Elizabeth Caroline Miller

Research output: Contribution to journalArticle

3 Citations (Scopus)
39 Downloads (Pure)

Abstract

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
Volume24
Issue number2
Early online date15 May 2015
DOIs
Publication statusPublished - Apr 2016

Keywords

  • Covering
  • Fibration
  • Functor
  • Ordered groupoid

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this