kmorphism
Kmorphism is a term used in higher category theory to denote higher-dimensional morphisms within a k-category. It refers to the arrows or cells that connect morphisms at successive levels in a hierarchical structure of objects, morphisms, and higher cells.
In a k-category, objects are 0-morphisms; morphisms between objects are 1-morphisms; 2-morphisms are morphisms between 1-morphisms;
In a 2-category, for example, 2-morphisms are natural transformations between functors, providing a concrete instance of
Notation and terminology vary: some authors use higher cells, k-cells, or n-cells to denote these levels, and