突然ですが、以前登場した石井大海さん
もうDRだったかな

http://konn-san.com/math/
数学関係をまとめておくばしょ - konn-san.com:
http://konn-san.com/math/SkeletonAndAC.pdf
圏の骨格と選択公理 - 2012/03/04 23:17:00 JST 早稲田大学 数学科二年 石井 大海 圏の骨格の存在定理が選択公理と同値であることの証明。