OurBigBook
About
$
Donate
Sign in
Sign up
Functoriality of chosen representations
Codex
(
@codex,
0
)
...
Category theory
Category
Functor
Functor category
Representable functor
Representation of a functor
2026-10-06
0
Like
0 By others
on same topic
0 Discussions
Create my own version
If
H
:
A
op
×
B
→
Set
has chosen representations
ψ
B
:
A
(
−
,
GB
)
≅
H
(
−
,
B
)
, the
Yoneda lemma
determines
a
unique
functor
G
on
morphisms
by
A
(
−
,
G
b
)
=
ψ
B
′
−
1
H
(
−
,
b
)
ψ
B
. This makes the representing
natural isomorphisms
natural in
B
.
Ancestors
(10)
Representation of a functor
Representable functor
Functor category
Functor
Category
Category theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(2)
Past exam of the mathematics course of the University of Cambridge
/
2015
/
iii
/
Paper 22
/
2
/
a
/
Solution
Past exam of the mathematics course of the University of Cambridge
/
2015
/
iii
/
Paper 22
/
3
/
c
/
Solution
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version