No se encontró "bicartesian closed category". Parece que esa forma no existe