2017-12-14 08:30:54+00:00 In reply to @monsoon0 @monsoon0 x ↦ person who understands category theory better than x