category
すっきり証明する方法を考えました。概要。 right adjoint preserves terminals*1 limit is a terminal of a cone category adjoint between categories induces an adjoint between cone categories 証明を厳密に全部書き下したら結局すっきりしてないんで…
すっきり証明する方法を考えました。概要。 right adjoint preserves terminals*1 limit is a terminal of a cone category adjoint between categories induces an adjoint between cone categories 証明を厳密に全部書き下したら結局すっきりしてないんで…