#
nLab

ΠW-pretopos

### Context

#### Topos Theory

**topos theory**

## Background

## Toposes

## Internal Logic

## Topos morphisms

## Cohomology and homotopy

## In higher category theory

## Theorems

# Contents

## Definition

A **$\Pi W$-pretopos** is a Π-pretopos with all W-types.

## References

See at *predicative topos*.

Revised on April 21, 2013 13:27:51
by

Urs Schreiber
(89.204.135.147)