En teoría de categorías , una categoría premonoidal es una generalización de una categoría monoidal donde el producto monoidal no necesita ser un bifuntor , sino solamente ser funtorial en sus dos argumentos por separado. Esto es análogo al concepto de continuidad separada en topología .
Las categorías premonoidales surgen naturalmente en la informática teórica como las categorías Kleisli de mónadas fuertes . [1]