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 at 14:15:29. See the history of this page for a list of all contributions to it.