view wisdom/bicategory @ 3243:b16673df707a

<elliott> addquote <Bike> Fiora: how long does it take to factor 8616460799 <Fiora> Bike: I think using gnfs to factor that would be like using a nuclear weapon to sterilize a needle
author HackBot
date Thu, 27 Jun 2013 00:07:27 +0000
parents 3eaceca49cc4
children c777e2d91031
line wrap: on
line source

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