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
Maps: Attributes
Maps: Operations and Functions <#Include Label="HomalgRing:map"> <#Include Label="PreInverse">