nLab
regular topos

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

A regular topos is a sheaf topos with a site of definition that is a regular category with regular coverage.

Notice that the terminology is slightly confusing: every topos is a regular category.

Examples

Revised on April 27, 2011 20:32:34 by Toby Bartels (64.89.61.127)