nLab covering

Context

Category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations


The term “covering” may refer to:

  1. in topology:

    covers, such as open covers or covering spaces;

    in which case “covering map” means: “deck transformation

  2. more generally in sheaf and topos theory:

    covering families of a coverage or Grothendieck topology

Last revised on August 17, 2022 at 07:52:02. See the history of this page for a list of all contributions to it.