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
Relations: Operations and Functions