# Related Structures

## `Category(A): FldAC -> Cat`

## `Parent(A): FldAC -> PowerStructure`

## `Centre(A): FldAC -> AC`

## `PrimeRing(A): FldAC -> AC`

## `PrimeField(A): FldAC -> AC`

## `FieldOfFractions(A): FldAC -> AC`