A two-part report, containing (unrelated) essays on subobject classifiers and on monads.
生成讲解博客的中文版本
生成AI智能校验的中文版本