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">