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

Relations: Categories and Representations
<#Include Label="IsHomalgRelations"> <#Include Label="IsHomalgRelationsOfLeftModule"> <#Include Label="IsHomalgRelationsOfRightModule">

<#Include Label="IsRelationsOfFinitelyPresentedModuleRep">

Relations: Constructors
Relations: Properties
<#Include Label="CanBeUsedToDecideZeroEffectively"> <#Include Label="IsInjectivePresentation">

Relations: Attributes
<#Include Label="FreeResolution">

Relations: Operations and Functions