El compromiso de bits es una tarea criptográfica en la que Alice compromete un bit a Bob de tal manera que no puede cambiar el valor del bit después de su compromiso y Bob no puede conocer el valor del bit antes de que Alice abra su compromiso. Según el teorema de imposibilidad de compromiso de bits ideal de Mayers-Lo-Chau (MLC), es imposible dentro de la teoría cuántica. En la reconstrucción teórica de la información de la teoría cuántica, la imposibilidad del compromiso de bits cuánticos es una de las tres restricciones de información que caracterizan la teoría cuántica. En este documento, primero proporcionamos una prueba muy simple del teorema de imposibilidad de MLC y su generalización cuantitativa. Luego, formalizamos el compromiso de bits en la teoría de categorías monoidales de daga. Mostramos que en el contexto de las categorías monoidales de daga, la imposibilidad del compromiso de bits es equivalente a la equivalencia unitaria de purificación.