Internal geometry and functors between sites

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Waldorf, Konrad
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866929454133018624
author Waldorf, Konrad
author_facet Waldorf, Konrad
contents Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As applications of locality, we review geometric objects such as sheaves, groupoids, functors, bibundles, and anafunctors internal to an arbitrary Grothendieck site. We give definitions such that all these objects are invariant under equivalences of Grothendieck topologies and certain functors between sites. As examples of sites, we look at categories of smooth manifolds, diffeological spaces, topological spaces, and sheaves, and we study properties of various functors between those.
format Preprint
id arxiv_https___arxiv_org_abs_2408_04989
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Internal geometry and functors between sites
Waldorf, Konrad
Category Theory
Differential Geometry
Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As applications of locality, we review geometric objects such as sheaves, groupoids, functors, bibundles, and anafunctors internal to an arbitrary Grothendieck site. We give definitions such that all these objects are invariant under equivalences of Grothendieck topologies and certain functors between sites. As examples of sites, we look at categories of smooth manifolds, diffeological spaces, topological spaces, and sheaves, and we study properties of various functors between those.
title Internal geometry and functors between sites
topic Category Theory
Differential Geometry
url https://arxiv.org/abs/2408.04989