Type Alias ChalkboardMorphism<T, U>

The type for morphisms in abstract algebra.

Template: T,

U

type ChalkboardMorphism<T, U> = {
    mapping: (a: T) => U;
    struc1: ChalkboardStructure<T>;
    struc2: ChalkboardStructure<U>;
}

Type Parameters

T
U

Index

Properties

mapping struc1 struc2

Properties

mapping

mapping: (a: T) => U

The function that takes an element from the first structure and maps it to the second structure

struc1

struc1: ChalkboardStructure<T>

The first algebraic structure which is the domain of the morphism

struc2

struc2: ChalkboardStructure<U>

The second algebraic structure which is the codomain of the morphism