Reference for ANAFUNCTOR. Search for ANAFUNCTOR

AI searches containing ANAFUNCTOR

ANAFUNCTOR

Anafunctor

Mathematical notion

Look up anafunctor in Wiktionary, the free dictionary. In mathematics, an anafunctor is a notion introduced by Makkai (1996) for ordinary categories that

Anafunctor

Functor

Mapping between categories

existing types to functions between some new types. Mathematics portal Anafunctor Profunctor Functor category Kan extension Pseudofunctor Mac Lane, Saunders

Functor

Formal criteria for adjoint functors

Criteria in Category theory of Mathematics

then a left adjoint of G can be computed using the right Kan extension. Anafunctor Freyd 2003, Chapter 3. (pp.84–) Mac Lane 2013, Ch. V, § 6, Theorem 2.

Formal criteria for adjoint functors

Formal_criteria_for_adjoint_functors

Profunctor

Generalization in mathematics

such that ϕ ^ = Y D ∘ F {\displaystyle {\hat {\phi }}=Y_{D}\circ F} . Anafunctor Bénabou, Jean (2000), Distributors at Work (PDF) Borceux, Francis (1994)

Profunctor

Timeline of category theory and related mathematics

History of maths

of higher-dimensional categories, functors are replaced by saturated anafunctors, sets are abstract sets, the formal logic for entities is FOLDS (first-order

Timeline of category theory and related mathematics

Timeline_of_category_theory_and_related_mathematics

Equivalence of categories

Abstract mathematics relationship

version of the axiom of choice in the underlying set theory. By using anafunctors instead of ordinary functors, this statement can be hold without using

Equivalence of categories

Equivalence_of_categories