Kernel (teoría das categoría)