log wisdom/bicategory @ 9705:a8c7db5d48cc

age author description
Sat, 30 Mar 2013 17:20:19 +0000 HackBot <elliott> echo "Bicategories are just categories where composition is only associative up to an isomorphism." >wisdom/bicategory