view wisdom/bicategory @ 11298:41dd8e975605

<wob_jonas> perl -eopen$i,"<",($f="wisdom/aristotle");$_=<$i>; s/, even though.*\\. / without checking. / or die; if (1) { open$o,">",$f; print$o $_ or die; } print substr$_,0;
author HackBot
date Mon, 01 Jan 2018 18:06:06 +0000
parents 3eaceca49cc4
children c777e2d91031
line wrap: on
line source

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