1morphism
1morphism is a concept primarily found in category theory, a branch of abstract mathematics. In essence, a 1morphism represents a "morphism" or "arrow" between objects within a category. A category is defined by a collection of objects and a collection of morphisms, where each morphism has a source object and a target object. The 1morphism is the fundamental building block of such a category. It signifies a relationship or transformation from one object to another.
For example, in the category of sets, the objects are sets, and the 1morphisms are functions between