Enum SemifiniteArrow 

pub enum SemifiniteArrow<K: ArrayKind, T> {
    Identity,
    Finite(FiniteFunction<K>),
    Semifinite(SemifiniteFunction<K, T>),
}

Arrows in the category of semifinite functions

Variants

Identity

Finite(FiniteFunction<K>)

Semifinite(SemifiniteFunction<K, T>)

Trait Implementations

impl<K: ArrayKind, T> Arrow for SemifiniteArrow<K, T>

where K::Type<T>: Array<K, T>,

type Object = SemifiniteObject<K, T>

fn source(&self) -> Self::Object

fn target(&self) -> Self::Object

fn identity(a: Self::Object) -> Self

the identity morphism on a

fn compose(&self, other: &Self) -> Option<Self>

Compose morphisms in diagrammatic order: self ; other

impl<K: ArrayKind, T> Coproduct for SemifiniteArrow<K, T>

where K::Type<T>: Array<K, T>,

fn initial_object() -> Self::Object

fn initial(_a: Self::Object) -> Self

Construct the initial arrow initial_a : 0 → a from some object a

fn inj0(_a: Self::Object, _b: Self::Object) -> Self

fn inj1(_a: Self::Object, _b: Self::Object) -> Self

fn coproduct(&self, _other: &Self) -> Option<Self>

Construct the coproduct of two arrows, or None if they didn’t share a codomain.

impl<K: ArrayKind, T> From<FiniteFunction<K>> for SemifiniteArrow<K, T>

fn from(val: FiniteFunction<K>) -> Self

Converts to this type from the input type.

impl<K: ArrayKind, T> From<SemifiniteFunction<K, T>> for SemifiniteArrow<K, T>

fn from(val: SemifiniteFunction<K, T>) -> Self

Converts to this type from the input type.

impl<K: ArrayKind, T> TryFrom<SemifiniteArrow<K, T>> for SemifiniteFunction<K, T>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SemifiniteArrow<K, T>) -> Result<Self, Self::Error>

Performs the conversion.