Contents

topos theory

# Contents

## Definition

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

## References

See at predicative topos.

Last revised on September 13, 2012 at 03:22:13. See the history of this page for a list of all contributions to it.