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 14:24:34
by Mike Shulman
(192.195.154.58)