module algebra.semigroup where

open import algebra.semigroup.core public
open import algebra.semigroup.morphism public