0N7U Definition 1. A semistrict 3-category is a category enriched over (2π’πΊπ,βG,β)(2\mathsf{Cat},\otimes_{\rm G},\mathcal{I}).