3
votes
Kleisli-like category for applicatives?
Yes, your definition does give a category. This is an instance of a somewhat general construction called change of base from enriched category theory. There is an nlab page on the construction but if ...
- 1,695
1
vote
Kleisli-like category for applicatives?
Your description of that category is correct.
We can define a lawful category of this kind. Objects are all types A, B, ... and ...
- 552
Only top scored, non community-wiki answers of a minimum length are eligible