nLab Π-pretopos

Context

Topos Theory

Could not include topos theory - contents

Contents

Definition

A $\Pi$-pretopos is a pretopos that is also a locally cartesian closed category.

References

See at predicative topos.

Revised on September 13, 2012 03:22:13 by Toby Bartels (98.19.47.153)