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

🚧 Work in progress! 🚧 Despite major version 1 because of semantic-release/semantic-release#1507. Trying to not make breaking changes, but devil is in the ...