strict 2-natural transformation

A **strict 2-natural transformation** (sometimes called simply a “2-natural transformation”) is a lax natural transformation whose 2-cell components are identities. When the 2-categories and 2-functors involved are also strict (as is usually the case), these are the enriched natural transformations over the monoidal category Cat.

Created on June 17, 2016 at 14:24:34. See the history of this page for a list of all contributions to it.