Heinz-Peter Gumm | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mona Taheri
1 publication

research

∙ 02/15/2022

Saturated Kripke Structures as Vietoris Coalgebras

We show that the category of coalgebras for the compact Vietoris endofun...

0 Heinz-Peter Gumm, et al. ∙