Category-theoretic kernel

This article does not exist yet.