We prove that the category SKBSKB is not algebraically coherent. As a consequence, it is not locally algebraically cartesian closed. Then the same can be deduced for cocommutative Hopf braces.
生成讲解博客的中文版本
生成AI智能校验的中文版本