research
∙
09/19/2023
Lifting star-autonomous structures
For a functor Q from a category C to the category Pos of ordered sets an...
research
∙
07/28/2022
Frobenius structures in star-autonomous categories
It is known that the quantale of sup-preserving maps from a complete lat...
research
∙
05/09/2022