$\mathsf{SKB}$ is not algebraically coherent

Abstract

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.

arXiv comment9 pages