nLab strict 2-natural transformation

Last revised on May 18, 2023 at 13:46:35. See the history of this page for a list of all contributions to it.