Никогда не встречал слова "контрафунктор". Есть ковариантные и контравариантные функторы. "По умолчанию" функтор в большинстве случаев предполагается ковариантным (возможно, поэтому кто-то может употреблять слово "контрафунктор" в значении "контравариантный функтор").
no subject
Date: 2019-05-23 09:30 pm (UTC)А кстати, почему существуютъ функторы и контрафункторы, но нѣтъ кофункторовъ? Или они неправильно называются?
no subject
Date: 2019-05-23 09:33 pm (UTC)no subject
Date: 2019-05-23 09:39 pm (UTC)