A Double Categorical View on Representations of Etendues

MaRDI QIDQ5115463zbMATH OpenFDO

Authors Darien DeWolf, Dorette Pronk

Publication date 13 August 2020

Full work available at URL https://arxiv.org/abs/1910.02540, http://cahierstgdc.com/wp-content/uploads/2020/01/DEWOLF-PRONK-61-1.pdf

zbMATH Keywords

ordered groupoiddouble categorycomparison lemmaétendueEhresmann siteGrothendieck site with monic mapsmorphism of Ehresmann sitessheaf on an Ehresmann site

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Connections of semigroups with homological algebra and category theory (20M50) 2-categories, bicategories, double categories (18N10)

Abstract: In this paper we introduce a description of ordered groupoids as a particular type of double categories. This enables us to turn Lawson's correspondence between ordered groupoids and left-cancellative categories into a biequivalence. We use this to identify which ordered functors are maps of sites in the sense that they give rise to geometric morphisms between the induced sheaf categories, and establish a Comparison Lemma for maps between Ehresmann sites.

Recommendations

• scientific article; zbMATH DE number 4055853
• The category of double quantale modules
• scientific article; zbMATH DE number 65569
• The cocompleteness of the category of double quantale modules
• A 2Cat-inspired model structure for double categories
• Cotorsion pairs, model category structures, and representation theory
• Enrichment and representability for triangulated categories
• Duality in Waldhausen Categories
• A model structure for weakly horizontally invariant double categories

Cited in

(3)

• Classification des représentations de la double flèche. (Classification of representations of the double arrow)
• A double category theoretic analysis of graded linear exponential comonads
• scientific article; zbMATH DE number 2114691 (Why is no real title available?)

This page was built for publication: A Double Categorical View on Representations of Etendues

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5115463)