Limites et co-limites pour représenter les formules