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

Revised on May 15, 2011 10:22:39 by Zoran Škoda (95.168.121.127)