view wisdom/category @ 4265:d1de03212129

<Taneb> learn arrows are just strong monads in the category of profunctors
author HackBot
date Mon, 06 Jan 2014 13:21:26 +0000
parents 76820f8a4c50
children 03afb1619ef2
line wrap: on
line source

Categories are just a special case of bicategories.