>>701
俺も悩んだけど、pullbackの定義に戻るとTと⊥が違う射でなくてはいけないことが分かった