nLab
ΠW-pretopos
Context
Topos Theory
topos theory
Background
Toposes
Internal Logic
Topos morphisms
Cohomology and homotopy
In higher category theory
Theorems
Contents
Definition
A -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)