nLab
reflective sub-2-category

Created on March 16, 2012 06:42:47 by Urs Schreiber (82.169.65.155)