Library
▹
Category theory
▹
Concrete categories
Definition 4.9.9.
Let
u
∈
ℕ
. We define:
SemiRing
u
:
=
[
SemiRing
(Hom(
A
,
B
))
A
,
B
∈
SemiRing
(id
C
)
C
∈
SemiRing
(∘)
D
,
E
,
F
∈
SemiRing
]
u
is a/an
u
-small category
Remarks.
The objects of this category are actually isomorphism classes of semirings.