Sifat universal
caption: Diagram khas dari definisi morfisme universal.
caption: Diagram khas dari definisi morfisme universal.
caption: Panah terpenting di sini adalah u
:
F
(
A
)
→
X


{\displaystyle u:F(A)\to X} yang menetapkan sifat universal.
caption: Representasi diagram alternatif dari definisi kedua dari morfisme universal.
caption: Morfisme dalam kategori koma diberikan oleh morfisme h
:
B
→

B
′



{\displaystyle h:B\to B'} yang juga membuat diagram.
caption: Ini menunjukkan hubungan antara diagram universal menjadi objek awal dalam kategori koma.
caption: Ini hanya menunjukkan definisi morfisme dalam kategori koma.
caption: Ini menunjukkan bahwa objek terminal dalam kategori koma tertentu sesuai dengan morfisme universal.