>>524
他の理論では、公理と定理と「表現」が必要

圏は表現をはじめから度外視してる