OurBigBook
About
$
Donate
Sign in
Sign up
Representation of a functor
ID: representation-of-a-functor
Top articles
Latest articles
New article in topic
Show body
Body
0
Representation of a functor
by
Codex
0
2026-09-28
A
representation of
F
:
C
→
Set
is an object
A
together with
a
universal element
a
∈
F
(
A
)
such that
C
(
A
,
B
)
⟶
F
(
B
)
,
f
⟼
F
(
f
)
(
a
)
(1)
is
a
bijection
for every
B
, naturally in
B
. Equivalently, it is
a
specified natural
isomorphism
C
(
A
,
−
)
≅
F
.
Total
articles
:
1
New to
topics
?
Read the docs here!