Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I was just wondering yesterday when the Kleisli and Eilenberg-MacLane catgories coincide. Is the answer here the best one can say, where what you call “cosemantics” earlier coincides with semantics?
I don’t know any better condition.
Alec: thanks! Yes, that’s what I meant.
1 to 9 of 9