5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Categorical generalization of spectral decomposition
Koki Nishizawa, Yusuke Ide, Norihiro Tsumagari
In this paper, we give several equivalent characterizations for a category with finite biproducts and the sum operation of arrows, and called categories satisfying these semiadditi…
cs.LO2017★ 5 cited
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth +1
Multirelations provide a semantic domain for computing systems that involve two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and P…