Applicative ∀ fields: Applicative for T: Monoid for F: Applicative and G: Applicative Apply ∀ fields: Apply for T: Semigroup for F: Apply and G: Apply Contravariant ∀ fields: Contravariant ∀ variants: ...

ABSTRACT: We find the necessary and sufficient conditions on a coproduct of connected acts over a semigroup to be strongly hopfian. From this, we deduce the conditions of the strong hopfness for ...

Persistent Link: https://ieeexplore.ieee.org/servlet/opac?punumber=18 ...

Full documentation is available here. For better Phunkie development, consider installing phunkie-console.