An (op)lax (co)monoidal structure map is sometimes called an (op)lax (co)monoidal transformation; however, this is not a laxification (a directed weakening) of any strong notion of monoidal natural transformation (which has nothing to laxify).

Last revised on September 7, 2011 at 16:34:06.
See the history of this page for a list of all contributions to it.