Help, Category Theorist Needed


The discussion for naming the function of type [Either a b] -> ([a],[b]) is not going well. We’ve discussed splitEithers, unzipEithers, and partitionEithers and none of them seem acceptable. I’m hoping someone out there can help me.

Do you know category theory? We can phrase this in terms of category theory, and perhaps there is a good name for this function there.

Given a functor F, what would you call a morphism F(a+b) → F(aF(b), where + and are the coproduct and product respectively?


, ,

Russell O’Connor: contact me