Maps
<#Include Label="Maps:intro">

Maps: Categories and Representations
<#Include Label="IsHomalgMap"> <#Include Label="IsHomalgSelfMap"> <#Include Label="IsMapOfFinitelyGeneratedModulesRep">

Maps: Constructors
<#Include Label="HomalgMap"> <#Include Label="HomalgZeroMap"> <#Include Label="HomalgIdentityMap">

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

Maps: Attributes
<#Include Label="Source:map"> <#Include Label="Range:map"> <#Include Label="DegreeOfMorphism:map"> <#Include Label="CokernelEpi"> <#Include Label="CokernelNaturalGeneralizedIsomorphism"> <#Include Label="KernelSubmodule:map"> <#Include Label="KernelEmb:map"> <#Include Label="ImageSubmodule"> <#Include Label="ImageModuleEmb"> <#Include Label="ImageModuleEpi"> <#Include Label="MorphismAidMap:map">

Maps: Operations and Functions
<#Include Label="HomalgRing:map"> <#Include Label="ByASmallerPresentation:map"> <#Include Label="PreInverse:map">