nLab
ΠW-pretopos

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 ΠW\Pi W-pretopos is a Π-pretopos with all W-types.

References

See at predicative topos.

Revised on April 21, 2013 13:27:51 by Urs Schreiber (89.204.135.147)