Struct FpFunctorData

pub struct FpFunctorData<ObGenMap, MorGenMap> {
    pub ob_generator_map: ObGenMap,
    pub mor_generator_map: MorGenMap,
}

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

This struct consists of a pair of mappings on the object and morphism generators of the domain category, assumed to be finitely presented. This data defines a graph mapping from the domain category’s generating graph to the codomain category’s underlying graph.

You can’t do much with this data until it is interpreted as a functor into a specific category.

Fields

ob_generator_map: ObGenMap

Mapping on object generators.

mor_generator_map: MorGenMap

Mapping on morphism generators.

Implementations

impl<ObGenMap, MorGenMap> FpFunctorData<ObGenMap, MorGenMap>

pub fn new(ob_generator_map: ObGenMap, mor_generator_map: MorGenMap) -> Self

Constructs from given mappings on object and morphism generators.

pub fn functor_into<'a, Cod>(&'a self, cod: &'a Cod) -> FpFunctor<'a, Self, Cod>

Interprets the data as a functor into the given category.

Trait Implementations

impl<ObGenMap: Clone, MorGenMap: Clone> Clone for FpFunctorData<ObGenMap, MorGenMap>

fn clone(&self) -> FpFunctorData<ObGenMap, MorGenMap>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<ObGenMap: Debug, MorGenMap: Debug> Debug for FpFunctorData<ObGenMap, MorGenMap>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<ObGenMap: Default, MorGenMap: Default> Default for FpFunctorData<ObGenMap, MorGenMap>

fn default() -> FpFunctorData<ObGenMap, MorGenMap>

Returns the “default value” for a type.

impl<ObGenMap, MorGenMap> GraphMapping for FpFunctorData<ObGenMap, MorGenMap>

where ObGenMap: Mapping, MorGenMap: Mapping,

type DomV = <ObGenMap as Mapping>::Dom

Type of vertices in domain graph.

type DomE = <MorGenMap as Mapping>::Dom

Type of edges in domain graph.

type CodV = <ObGenMap as Mapping>::Cod

Type of vertices in codomain graph.

type CodE = <MorGenMap as Mapping>::Cod

Type of edges in codomain graph.

type VertexMap = ObGenMap

Type of underlying mapping on vertices.

type EdgeMap = MorGenMap

Type of underlying mapping on edges.

fn vertex_map(&self) -> &Self::VertexMap

Gets the underlying mapping on vertices.

fn edge_map(&self) -> &Self::EdgeMap

Gets the underlying mapping on edges.

fn apply_vertex(&self, v: Self::DomV) -> Option<Self::CodV>

Applies the graph mapping at a vertex.

fn apply_edge(&self, e: Self::DomE) -> Option<Self::CodE>

Applies the graph mapping at an edge.

fn is_vertex_assigned(&self, v: &Self::DomV) -> bool

Is the mapping defined at a vertex?

fn is_edge_assigned(&self, e: &Self::DomE) -> bool

Is the mapping defined at an edge?

impl<ObGenMap: PartialEq, MorGenMap: PartialEq> PartialEq for FpFunctorData<ObGenMap, MorGenMap>

fn eq(&self, other: &FpFunctorData<ObGenMap, MorGenMap>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<ObGenMap: Eq, MorGenMap: Eq> Eq for FpFunctorData<ObGenMap, MorGenMap>

impl<ObGenMap, MorGenMap> StructuralPartialEq for FpFunctorData<ObGenMap, MorGenMap>