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

Description

propositions on homomorphisms between algerbaic structure.

Synopsis

Documentation

prpIdHom :: Statement Source #

validity of IdHom s according to Category and HomOriented.

prpHomOp :: Statement Source #

validity of HomOp s according to Category, HomOriented and HomMultiplicative.

prpIsoOpOrt :: Statement Source #

validity of IsoOp Ort according to Category and Functorial.

module OAlg.Hom.Oriented

module OAlg.Hom.Multiplicative