morphism (Q756): Difference between revisions

Latest revision as of 08:41, 26 January 2023

map (arrow) between two objects of a category

Language	Label	Description	Also known as
English	morphism	map (arrow) between two objects of a category	arrow 1-cell

0 references

@@ Property / subclass of @@
+mapping
@@ Property / subclass of: mapping / rank @@
+Normal rank
@@ Property / part of @@
+category
@@ Property / part of: category / rank @@
+Normal rank
@@ Property / has quality @@
+left-totality
@@ Property / has quality: left-totality / rank @@
+Normal rank
@@ Property / has quality @@
+right-uniqueness
@@ Property / has quality: right-uniqueness / rank @@
+Normal rank
@@ Property / has part(s) of the class @@
+monomorphism
@@ Property / has part(s) of the class: monomorphism / rank @@
+Normal rank
@@ Property / has part(s) of the class @@
+epimorphism
@@ Property / has part(s) of the class: epimorphism / rank @@
+Normal rank