Holmstrom Model 2-category

n-Lab

nLab page on Model 2-category

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