9 Jan
2012
9 Jan
'12
3:49 a.m.
On 12/28/11 10:14 AM, Brent Yorgey wrote:
On Mon, Dec 26, 2011 at 12:32:13PM +0400, Eugene Kirpichov wrote:
Actually it's not a bifunctor - it's a functor in one argument and contrafunctor in the other. Is there a name for such a structure?
"Bifunctor" is usually used for such things as well. Data.Bifunctor only covers bifunctors which are covariant in both arguments.
I'd just call them (contra(variant)) bifunctors. Or, more likely, I'd call them hom-(bi)functors since chances are the bifunctor supports the full structure of a category. -- Live well, ~wren