Chain Maps
ChainMaps: Categories and Representations
<#Include Label="IsHomalgChainMap"> <#Include Label="IsHomalgChainSelfMap">

<#Include Label="IsChainMapOfFinitelyPresentedObjectsRep"> <#Include Label="IsCochainMapOfFinitelyPresentedObjectsRep">

Chain Maps: Constructors
<#Include Label="HomalgChainMap">

Chain Maps: Properties
<#Include Label="IsMorphism:chainmap"> <#Include Label="IsGeneralizedMorphism:chainmap"> <#Include Label="IsGeneralizedEpimorphism:chainmap"> <#Include Label="IsGeneralizedMonomorphism:chainmap"> <#Include Label="IsGeneralizedIsomorphism:chainmap"> <#Include Label="IsIdentityMorphism:chainmap"> <#Include Label="IsMonomorphism:chainmap"> <#Include Label="IsEpimorphism:chainmap"> <#Include Label="IsSplitMonomorphism:chainmap"> <#Include Label="IsSplitEpimorphism:chainmap"> <#Include Label="IsIsomorphism:chainmap"> <#Include Label="IsAutomorphism:chainmap"> <#Include Label="IsGradedMorphism"> <#Include Label="IsQuasiIsomorphism">

Chain Maps: Attributes
<#Include Label="Source:chainmap"> <#Include Label="Range:chainmap">

Chain Maps: Operations and Functions
<#Include Label="ByASmallerPresentation:chainmap">