Basic Category Theory
《Basic Category Theory》 · 第 30 页 · Definition 1.3.12 后
For categories \(\mathcal A\) and \(\mathcal B\), there is a category whose objects are functors \(\mathcal A\to\mathcal B\) and whose maps are natural transformations; it is written \([\mathcal A,\mathcal B]\).