In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic...
24 KB (3,513 words) - 02:56, 11 August 2024
Limit (category theory) (redirect from Continuous functor)
like the strongly related notions of universal properties and adjoint functors, exist at a high level of abstraction. In order to understand them, it...
28 KB (4,352 words) - 03:41, 22 March 2024
relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in...
63 KB (9,958 words) - 21:43, 1 August 2024
up functor in Wiktionary, the free dictionary. A functor, in mathematics, is a map between categories. Functor may also refer to: Predicate functor in...
724 bytes (132 words) - 12:46, 3 November 2020
particularly homological algebra, an exact functor is a functor that preserves short exact sequences. Exact functors are convenient for algebraic calculations...
13 KB (2,404 words) - 19:02, 4 March 2024
In functional programming, a functor is a design pattern inspired by the definition from category theory that allows one to apply a function to values...
4 KB (394 words) - 13:26, 12 September 2023
Yoneda lemma (redirect from Yoneda functor)
is a fundamental result in category theory. It is an abstract result on functors of the type morphisms into a fixed object. It is a vast generalisation...
20 KB (3,362 words) - 13:43, 2 August 2024
Category theory (section Functors)
contravariant functor acts as a covariant functor from the opposite category Cop to D. A natural transformation is a relation between two functors. Functors often...
34 KB (3,827 words) - 02:56, 10 August 2024
between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category...
9 KB (1,029 words) - 19:06, 4 March 2024
a branch of mathematics, a functor category D C {\displaystyle D^{C}} is a category where the objects are the functors F : C → D {\displaystyle F:C\to...
11 KB (1,776 words) - 11:27, 19 July 2023