Skip to main content
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 ...
Max New's user avatar
  • 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 ...
winitzki's user avatar
  • 542

Only top scored, non community-wiki answers of a minimum length are eligible