| 21. | Thus a natural transformation is an infranatural transformation for which for every morphism.
|
| 22. | The domain of any morphism is the object from which an arrow starts.
|
| 23. | String projection is a morphism in the category of free monoids, so that
|
| 24. | The Frobenius morphism is not necessarily surjective, even when is a field.
|
| 25. | A quasi-compact locally quasi-finite morphism is quasi-finite.
|
| 26. | The rational function determines a morphism of degree two.
|
| 27. | Such a pair is called a Chu transform or morphism of Chu spaces.
|
| 28. | A morphism of presheaves is defined to be a natural transformation of functors.
|
| 29. | Have you ever glanced at Morphism # See also?
|
| 30. | Groups are monoids for which every morphism is invertible.
|