is not algebraically coherent
arXiv:2607.28380
summary
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 cocommutative Hopf braces.
Abstract
We prove that the category is not algebraically coherent. As a consequence, it is not locally algebraically cartesian closed. Then the same can be deduced for cocommutative Hopf braces.
9 pages
Topics & keywords
#algebraic coherence#locally algebraically cartesian closed#cocommutative Hopf braces#category SKB#algebraic categoriesSKBalgebraic coherencelocally algebraically cartesian closedHopf bracescocommutative