category-theoretic kernel