$\mathsf{SKB}$ is not algebraically coherent
We prove that the category $\mathsf{SKB}$ is not algebraically coherent. As a consequence, it is not locally algebraically cartesian closed. Then the same can be deduced for cocommutative Hopf braces.
math.CT↗