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 (