timelets: (Default)
timelets ([personal profile] timelets) wrote2016-11-07 05:36 pm
  • Add Memory
  • Share This Entry

(no subject)

I think I'm confusing disjoint unions and pushouts.