相対随伴を調べていたら virtual equipment の論文が出てきた、やはり形式圏論やるなら double category なのか
Please Login to reply.
No replies yet.
