If I recall, doesn't categorical neuroscience have a lot of colimits in it?