昨日の2-pullbackの計算は、2-limitについて理解してから改めて考える。 というわけで、 2-limit in nLab ひとまず例を見てみると、Kを2-categoryとし、A, BをKのobjectとする。 この時Kの対象A \times Bと自然同値K(X, A \times B) \to K(X, A) \times K(X,…