En particular, vimos que la idea de pro- funtor sobre un preorden monoidal nos dio el poder adicional necesario para formalizar la idea de una relación de factibilidad entre preordenes de recursos. Lo...En particular, vimos que la idea de pro- funtor sobre un preorden monoidal nos dio el poder adicional necesario para formalizar la idea de una relación de factibilidad entre preordenes de recursos. Los diagramas de cableado juegan un papel muy importante en este libro y en la teoría de categorías aplicadas en general; si bien se utilizan informalmente durante años, estos se formalizaron primero en el caso de categorías monoidales.
