oalg-base-1.1.4.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.
Copyright(c) Erich Gut
LicenseBSD3
Maintainerzerich.gut@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

OAlg.Hom.Oriented

Description

homomorphism between Oriented structures.

Documentation

module OAlg.Hom.Oriented.Definition

module OAlg.Hom.Oriented.Proposition