Algebraic structure containing a map methods that obeys laws of identity and composition.
Proxy for algebraic structure containing a mapping method that obeys laws of identity and composition.
Algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.
Proxy for algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.