>全単射の方が重要
>完全形式と閉形式の方が重要
まさしく集合論的な必要条件十分条件の圏論的(コ)ホモロジー代数的なカテゴリーへの言い換えだな