view wisdom/bicategory @ 10736:1a7192618bd0

<rdococ> le//rn egg//Yay! You reached the easter egg! \x02\x034(\x037:\x038|\x039{\x033}\x0311|\x032:\x036)
author HackBot
date Sun, 16 Apr 2017 16:20:00 +0000
parents 3eaceca49cc4
children c777e2d91031
line wrap: on
line source

Bicategories are just categories where composition is only associative up to an isomorphism.