A point-free perspective on lax extensions and predicate liftings

Article Properties
Abstract
Cite
Goncharov, Sergey, et al. “A Point-Free Perspective on Lax Extensions and Predicate Liftings”. Mathematical Structures in Computer Science, vol. 34, no. 2, 2023, pp. 98-127, https://doi.org/10.1017/s096012952300035x.
Goncharov, S., Hofmann, D., Nora, P., Schröder, L., & Wild, P. (2023). A point-free perspective on lax extensions and predicate liftings. Mathematical Structures in Computer Science, 34(2), 98-127. https://doi.org/10.1017/s096012952300035x
Goncharov S, Hofmann D, Nora P, Schröder L, Wild P. A point-free perspective on lax extensions and predicate liftings. Mathematical Structures in Computer Science. 2023;34(2):98-127.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
Title Journal Journal Categories Citations Publication Date
Characteristic logics for behavioural hemimetrics via fuzzy lax extensions 2022
On finitary functors 2019
Extensions in the theory of lax algebras 2008
Categorical structures enriched in a quantaloid: Tensored and cotensored categories 2006
Canonical and op-canonical lax algebras 2005