La categoría de Heisenberg de una categoría