Posts Tagged ‘abstract nonsense’

This is cool (Freyd’s initial object theorem)

February 7, 2011

I blogged about it here, and added it to the CRing project here. Basically, the point is that complete categories are prone to having initial objects (of course, cocomplete categories are!) if they have a “weak” initial object: one that homs into every other object, but not necessarily uniquely.

I don’t think we’ll ever use it in the project, but it is neat. Covering a bit of basic category theory for its own sake seems like a reasonable thing to do, moreover.