nLab regular coverage

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Definition

For a regular category CC, the regular coverage on CC is the coverage whose each covering family has one element which is a regular epimorphism.

The Grothendieck topology generated from a regular coverage is called the regular topology.

subcanonicalGrothendieck topology whose covering families are generated by single regular epimorphisms: the regular coverage.

Properties

Last revised on February 20, 2020 at 10:15:35. See the history of this page for a list of all contributions to it.