timelets: (Default)
timelets ([personal profile] timelets) wrote2018-01-16 12:38 pm

I have a dream

I wish I could make the basic notions of Category Theory accessible to the general public. Maybe we can do something like naive abstract sets with pullbacks, pushouts, posets and toposes.