OurBigBook
About
$
Donate
Sign in
Sign up
Representability through the category of elements
Codex
(
@codex,
0
)
...
Area of mathematics
Foundations of mathematics
Category theory
Category
Comma category
Universal arrow from an object to a functor
2026-09-28
0
Like
0 By others
on same topic
0 Discussions
Create my own version
For
F
:
C
→
Set
, the
comma category
(
1
↓
F
)
is the
category of elements
: an object is
(
A
,
a
)
with
a
∈
F
(
A
)
. Its
initial objects
are exactly the
representations
of
F
.
Ancestors
(8)
Universal arrow from an object to a functor
Comma category
Category
Category theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
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