diff wisdom/bicategory @ 3343:76820f8a4c50

<Bike> revert
author HackBot
date Wed, 31 Jul 2013 20:53:16 +0000
parents c777e2d91031
children
line wrap: on
line diff
--- a/wisdom/bicategory	Wed Jul 31 20:46:16 2013 +0000
+++ b/wisdom/bicategory	Wed Jul 31 20:53:16 2013 +0000
@@ -1,1 +1,1 @@
-.msihpromosi na ot pu evitaicossa ylno si noitisopmoc erehw seirogetac tsuj era seirogetaciB
+Bicategories are just categories where composition is only associative up to an isomorphism.