可表示函子
Sign in to savefunctor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C
In the Vinony graph
Within Vinony's link graph, 可表示函子 is referenced by 164 other articles, and connects out to universal property, adjoint functor and strict 2-category.
It is catalogued under the topic Representable functors.
Its subject is documented across 9 Wikipedia language editions.
Wikidata facts
- Subclass of
- functor
Show 2 more facts
- studied by
- category theory
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Article · 中文
可表函子是在数学中范畴论里的概念，指从任意范畴到集合范畴的一种特殊函子。这种函子将抽象的范畴表达成人们熟知的结构（即集合与函数），从而使得对集合范畴的了解可以尽可能应用到其它环境中。 从另外一个角度看，范畴的可表函子是随范畴而生的。因此，可表函子理论可以视作偏序集合理论中的上闭集合以及群论中的凱萊定理的极大的推广。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
universal property
Entity
adjoint functor
Entity
strict 2-category
Entity
category
Entity
functor
Entity
natural transformation
Entity
initial and terminal objects
Entity
limit
Entity
Yoneda lemma
Entity
higher category theory
Entity
mathematics
Entity
International Standard Book Number
Entity
integer
Entity
function
Entity
set
Entity
digital object identifier
Entity
variable
Entity
group
Entity
group theory
Entity
coefficient
Entity