Function compose

compose<T, U, V>(
morph1: ChalkboardMorphism<T, U>,
morph2: ChalkboardMorphism<U, V>,
): ChalkboardMorphism<T, V>

Calculates the composition of two morphisms.

Type Parameters

T
U
V

Parameters

morph1: ChalkboardMorphism<T, U>
The first morphism
morph2: ChalkboardMorphism<U, V>
The second morphism

Returns ChalkboardMorphism<T, V>

Example

const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);
const double = Chalkboard.abal.endomorphism(Z4, (x) => (2 * x) % 4);
const identity = Chalkboard.abal.idmorphism(Z4);
const composition = Chalkboard.abal.compose(double, identity); // Composes the two morphisms