圏論って名著と呼ばれるものってあるんですか?
集合論とどう違うのか少し気になる。