Struct FpFunctor

pub struct FpFunctor<'a, Map, Cod> { /* private fields */ }

A functor out of a finitely presented (f.p.) category.

Like a Function, this struct borrows its data. Unlike a Mapping between sets, a codomain is needed not just for validation but to even evaluate the functor on morphisms, hence is required as extra data. The domain category is needed only for validation.

Implementations

impl<'a, Map, Cod> FpFunctor<'a, Map, Cod>

pub fn new(map: &'a Map, cod: &'a Cod) -> Self

Constructs a new functor out of an f.p. category.

impl<'a, V, E, Ob, Mor, Map, Cod> FpFunctor<'a, Map, Cod>

where V: Eq + Clone + Hash, E: Eq + Clone + Hash, Ob: Eq + Clone, Mor: Eq + Clone, Map: GraphMapping<DomV = V, DomE = E, CodV = Ob, CodE = Mor>, Cod: Category<Ob = Ob, Mor = Mor>,

pub fn validate_on<S: BuildHasher>( &self, dom: &FpCategory<V, E, S>, ) -> Result<(), NonEmpty<InvalidFpFunctor<V, E>>>

Validates that the functor is well-defined on the given f.p. category.

pub fn iter_invalid_on<'b, S: BuildHasher>( &'b self, dom: &'b FpCategory<V, E, S>, ) -> impl Iterator<Item = InvalidFpFunctor<V, E>> + 'b

Iterates over failures to be functorial on the given f.p. category.

Trait Implementations

impl<'a, Ob, Mor, Map, Cod> CategoryMap for FpFunctor<'a, Map, Cod>

where Ob: Eq + Clone, Mor: Eq + Clone, Map: GraphMapping<CodV = Ob, CodE = Mor>, Cod: Category<Ob = Ob, Mor = Mor>,

type DomOb = <Map as GraphMapping>::DomV

Type of objects in domain category.

type DomMor = Path<<Map as GraphMapping>::DomV, <Map as GraphMapping>::DomE>

Type of morphisms in domain category.

type CodOb = Ob

Type of objects in codomain category.

type CodMor = Mor

Type of morphisms in codomain category.

type ObMap = <Map as GraphMapping>::VertexMap

Type of underlying mapping on objects.

type MorMap = FpFunctorMorMap<'a, Map, Cod>

Type of underlying mapping on morphisms.

fn ob_map(&self) -> &Self::ObMap

Gets the underlying mapping on objects.

fn mor_map(&self) -> &Self::MorMap

Gets the underlying mapping on morphisms.

fn apply_ob(&self, x: Self::DomOb) -> Option<Self::CodOb>

Applies the mapping to an object.

fn apply_mor(&self, m: Self::DomMor) -> Option<Self::CodMor>

Applies the mapping to a morphism.

fn is_ob_assigned(&self, x: &Self::DomOb) -> bool

Is the mapping defined at an object?

fn is_mor_assigned(&self, m: &Self::DomMor) -> bool

Is the mapping defined at a morphism?

impl<'a, Ob, Mor, Map, Cod> FgCategoryMap for FpFunctor<'a, Map, Cod>

where Ob: Eq + Clone, Mor: Eq + Clone, Map: GraphMapping<CodV = Ob, CodE = Mor>, Map::VertexMap: Column, Map::EdgeMap: Column, Cod: Category<Ob = Ob, Mor = Mor>,

type ObGen = <Map as GraphMapping>::DomV

Type of object generators in domain category.

type MorGen = <Map as GraphMapping>::DomE

Type of morphism generators in domain category.

type ObGenMap = <Map as GraphMapping>::VertexMap

Type of underlying mapping from object generators to objects.

type MorGenMap = <Map as GraphMapping>::EdgeMap

Type of underlying mapping from morphism generators to morphisms.

fn ob_generator_map(&self) -> &Self::ObGenMap

Gets the underlying mapping from object generators to objects.

fn mor_generator_map(&self) -> &Self::MorGenMap

Gets the underlying mapping from morphism generators to morphisms.

fn apply_ob_generator(&self, x: Self::ObGen) -> Option<Self::CodOb>

Applies the mapping at a generating object.

fn apply_mor_generator(&self, m: Self::MorGen) -> Option<Self::CodMor>

Applies the mapping at a generating morphism.