A Double Categorical View on Representations of Etendues

zbMATH Open1441.18029arXiv1910.02540MaRDI QIDQ5115463FDOQ5115463

Authors: Darien DeWolf, Dorette Pronk 

Publication date: 13 August 2020

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.

Full work available at URL: https://arxiv.org/abs/1910.02540

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

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)

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
• Title not available (Why is that?)

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)