Lifting star-autonomous structures

Luigi Santocanale, Cédric de Lacroix, Gregory Chichery

For a functor $Q$ from a category $C$ to the category $Pos$ of ordered sets and order-preserving functions, we study liftings of various kind of structures from the base category $…