$\mathsf{SKB}$ is not algebraically coherent

Andrea Sciandra, Vito Volpe

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 cocomm…