nLab covering sieve

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

A sieve which is covering.

Last revised on July 16, 2018 at 16:31:48. See the history of this page for a list of all contributions to it.