H. Gumm

activity

20192022

collaborators

3 papers

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.RA2020

Free-algebra functors from a coalgebraic perspective

H. Peter Gumm

Given a set $Σ$ of equations, the free-algebra functor $F_{Σ}$ associates to each set $X$ of variables the free algebra $F_{Σ} (X)$ over $X$ . Extending the notion of \emph{derivative} $…

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…