1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2023
Lifting star-autonomous structures
Luigi Santocanale, Cédric de Lacroix, Gregory Chichery
For a functor from a category to the category of ordered sets and order-preserving functions, we study liftings of various kind of structures from the base category $…
cs.LO2022
Frobenius structures in star-autonomous categories
Luigi Santocanale, Cédric de Lacroix
It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice is completely distributive. Since complete…
cs.LO2022★ 1 cited
Unitless Frobenius quantales
Cédric de Lacroix, Luigi Santocanale
It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We deve…