Holmstrom Internal category

nLab

internal hom

internalization

nLab page on Internal category

Created on June 9, 2014 at 21:16:13 by Andreas Holmström