too simple to be simple in nLab
ncatlab.org