圏論

圏論とは、圏についての理論である。