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

Ring Maps: Category and Representations
<#Include Label="IsHomalgRingMap"> <#Include Label="IsHomalgRingSelfMap">

<#Include Label="IsHomalgRingMapRep">

Ring Maps: Constructors
<#Include Label="RingMap">

Ring Maps: Properties
<#Include Label="IsMorphism:ringmap"> <#Include Label="IsIdentityMorphism:ringmap"> <#Include Label="IsMonomorphism:ringmap"> <#Include Label="IsEpimorphism:ringmap"> <#Include Label="IsIsomorphism:ringmap"> <#Include Label="IsAutomorphism:ringmap">

Ring Maps: Attributes
<#Include Label="Source:ringmap"> <#Include Label="Range:ringmap"> <#Include Label="DegreeOfMorphism:ringmap"> <#Include Label="CoordinateRingOfGraph">

Ring Maps: Operations and Functions