- Look up
anafunctor in Wiktionary, the free dictionary. An
anafunctor is a
notion introduced by
Makkai (1996) for
ordinary categories that is a generalization...
-
rather than a set.)
Equivalent definitions of
mathematical structures Anafunctor Mac Lane (1998),
Theorem IV.4.1 Lutz Schröder (2001). "Categories: a free...
-
existing types to
functions between some new types.
Mathematics portal Anafunctor Profunctor Functor category Kan
extension Pseudofunctor Mac Lane, Saunders...
- of higher-dimensional categories,
functors are
replaced by
saturated anafunctors, sets are
abstract sets, the
formal logic for
entities is
FOLDS (first-order...
- such that ϕ ^ = Y D ∘ F {\displaystyle {\hat {\phi }}=Y_{D}\circ F} .
Anafunctor Bénabou, Jean (2000),
Distributors at Work (PDF) Borceux,
Francis (1994)...
- 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....