nLab Π-pretopos

Redirected from "Pi-pretopos".
Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

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.