圏論における公理系にはどのようなものがあるのでしょうか

コメント欄に質問が来ていたので、お気持ちを話しました。
BGMは下記チャンネルより「風が鳴く」を使わせていただきました。
/ @noiseless_world
↓動画に登場したキューネン『集合論』のAmazonリンク
amzn.to/2Yvi8JW
↓演習問題の解答
tenasaku.com/a...
↓紹介したETCSのnLab
ncatlab.org/nl...
Vtuberのalg-d、略してV-alg-dです。
Twitter: / alg_d
Vのデザインとか: / waheyhey