From the 1 of 1 linked paper with an AI index.
1 paper
Andrea Sciandra, Vito Volpe
The authors prove that the category SKB is not algebraically coherent, which consequently means it is not locally algebraically cartesian closed, and they extend this result to coc…