H. Gumm

activity

20192022

collaborators

Showing math.CTShow all

2 papers · 1 filter

math.CT2022

Saturated Kripke Structures as Vietoris Coalgebras

Heinz-Peter Gumm, Mona Taheri

We show that the category of coalgebras for the compact Vietoris endofunctor $V$ on the category Top of topological spaces and continuous mappings is isomorphic to the cat…

math.CT2019

Connected monads weakly preserve products

H. Peter Gumm

If $F$ is a (not necessarily associative) monad on $S e t$ , then the natural transformation $F (A \times B) \to F (A) \times F (B)$ is surjective if and only if $F(\boldsymbol{1})=\boldsym…