nLab
regular coverage

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.

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

Properties

Last revised on May 15, 2011 at 10:22:39. See the history of this page for a list of all contributions to it.