research
∙
05/21/2021
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
A modal logic that is strong enough to fully characterize the behavior o...
share
research
∙
02/06/2021
Injective Objects and Fibered Codensity Liftings
Functor lifting along a fibration is used for several different purposes...
research
∙
07/22/2019
