Delete comment from: A Neighborhood of Infinity
Mike Stay said...
Oops, I got the objects of Mat(R) wrong. Objects are natural numbers; morphisms are Ob(R)-valued matrices and 2-morphisms are Mor(R)-valued matrices.
Aug 5, 2011, 6:15:31 PM
Posted to Profunctors in Haskell