G -sets are nothing but functors from this category to Set The category of all directed graphs is cartesian closed; this is a functor category as e...

I. Heim and A. Kratzer (1998). Semantics in Generative Grammar . Blackwell. [ edit ] External links Look up currying in Wiktionary , the free dicti...

Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a full...