nLab
Π-pretopos

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.

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