topos theory

# 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)