Template:2-category

This article defines a 2-category