参考文献

Lack, Stephen., A 2-categories companion, Towards higher categories, 2010, pp.10-192