presheaf (Q1370)

From Azupedia
Revision as of 08:15, 30 January 2023 by Fire (talk | contribs) (‎Created claim: subclass of (P1): functor (Q1371))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
contravariant functor to the category of sets and functions
Language Label Description Also known as
English
presheaf
contravariant functor to the category of sets and functions

    Statements

    0 references
    0 references