Category:Morphism Property

From ProofWiki
Jump to navigation Jump to search

This category contains results about Morphism Property.
Definitions specific to this category can be found in Definitions/Morphism Property.

Let $\phi: \struct {S, \circ} \to \struct {T, *}$ be a mapping from one algebraic structure $\struct {S, \circ}$ to another $\struct {T, *}$.

Then $\circ$ has the morphism property under $\phi$ if and only if:

$\forall x, y \in S: \map \phi {x \circ y} = \map \phi x * \map \phi y$

Pages in category "Morphism Property"

The following 4 pages are in this category, out of 4 total.