Fibrations of ordered groupoids and the factorization of ordered functors

Nouf AlYamani; Nicholas David Gilbert; Elizabeth Caroline Miller

doi:10.1007/s10485-015-9392-0

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 journal › Article › peer-review

6 Citations (Scopus)

79 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 language	English
Pages (from-to)	121-146
Number of pages	26
Journal	Applied Categorical Structures
Volume	24
Issue number	2
Early online date	15 May 2015
DOIs	https://doi.org/10.1007/s10485-015-9392-0
Publication status	Published - Apr 2016

Keywords

Covering
Fibration
Functor
Ordered groupoid

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/s10485-015-9392-0

Download pdf
This is a post-peer-review, pre-copyedit version of an article published in Applied Categorical Structures. The final authenticated version is available online at: http://dx.doi.org/10.1007/s10485-015-9392-0
Accepted author manuscript, 386 KB

Cite this

@article{94448d5d12734ae6b6c9cf0c0fa2ba79,

title = "Fibrations of ordered groupoids and the factorization of ordered functors",

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.",

keywords = "Covering, Fibration, Functor, Ordered groupoid",

author = "Nouf AlYamani and Gilbert, {Nicholas David} and Miller, {Elizabeth Caroline}",

year = "2016",

month = apr,

doi = "10.1007/s10485-015-9392-0",

language = "English",

volume = "24",

pages = "121--146",

journal = "Applied Categorical Structures",

issn = "0927-2852",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - Fibrations of ordered groupoids and the factorization of ordered functors

AU - AlYamani, Nouf

AU - Gilbert, Nicholas David

AU - Miller, Elizabeth Caroline

PY - 2016/4

Y1 - 2016/4

N2 - 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.

AB - 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.

KW - Covering

KW - Fibration

KW - Functor

KW - Ordered groupoid

UR - http://www.scopus.com/inward/record.url?scp=84929427681&partnerID=8YFLogxK

U2 - 10.1007/s10485-015-9392-0

DO - 10.1007/s10485-015-9392-0

M3 - Article

SN - 0927-2852

VL - 24

SP - 121

EP - 146

JO - Applied Categorical Structures

JF - Applied Categorical Structures

IS - 2

ER -

Fibrations of ordered groupoids and the factorization of ordered functors

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this