nLab
ΠW-pretopos

Context

Topos Theory

Could not include topos theory - contents

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)