-- |
-- Module      : OAlg.Adjunction.Definition
-- Description : adjunction between multiplicative structures
-- Copyright   : (c) Erich Gut
-- License     : BSD3
-- Maintainer  : zerich.gut@gmail.com
--
-- 'Adjunction' between 'OAlg.Structure.Multiplicative.Definition.Multiplicative' structures
-- and the 'OAlg.Limes.Definition.Limes' preserving property of adjoint structures.
module OAlg.Adjunction
  ( module Def
  , module Lim
  ) where

import OAlg.Adjunction.Definition as Def
import OAlg.Adjunction.Limes as Lim