nLab
Segal-topos

A Segal topos is a model for an (infinity,1)-topos in terms of Segal categories or complete Segal spaces.

Created on December 8, 2010 14:15:29 by Urs Schreiber (131.211.233.8)