>>833
圏論が形式化されてるって根拠ある?
クラスはBG集合論にあるように形式化はされてる