Cubical sets as a classifying topos∗ Bas Spitters Carnegie Mellon University, Pittsburgh Aarhus University Abstract

First Page		Document Content
Date: 2015-05-10 16:01:54		Cubical sets as a classifying topos∗ Bas Spitters Carnegie Mellon University, Pittsburgh Aarhus University Abstract Add to Reading List Source URL: www.cs.ru.nl Download Document from Source Website File Size: 188,41 KB Share Document on Facebook