Search results

  • A '''functor''' is a type of map between two [[Category (category theory)|categories]]. More precisely, a functor <math>F:\mathcal{C} \to \mathcal{D}</math> is a mapping which
    1 KB (248 words) - 21:42, 2 September 2008
  • a [[functor]] from <math>F</math> to '''Set''', the [[category of sets]]. Let <math>h_A</math> denote the functor <math>\mathcal{C} \to \mathbf{Set}</math> that
    4 KB (698 words) - 17:21, 6 November 2017