Category-theoretic kernel