nLab
sifted (infinity,1)-colimit

Created on May 4, 2012 00:31:15 by Urs Schreiber (89.204.137.201)