Struct DiscreteDblModelMapping

pub struct DiscreteDblModelMapping<DomId, CodId> { /* private fields */ }

A mapping between models of a discrete double theory.

Because a discrete double theory has only trivial operations, the naturality axioms for a model morphism also become trivial.

Implementations

impl<DomId, CodId> DiscreteDblModelMapping<DomId, CodId>

where DomId: Clone + Eq + Hash, CodId: Clone + Eq + Hash,

pub fn apply_basic_mor(&self, e: &DomId) -> Option<Path<CodId, CodId>>

Applies the mapping at a basic morphism in the domain model.

pub fn is_basic_mor_assigned(&self, e: &DomId) -> bool

Is the mapping defined at a basic morphism?

pub fn assign_ob(&mut self, x: DomId, y: CodId) -> Option<CodId>

Assigns the mapping at an object, returning the previous assignment.

pub fn assign_basic_mor( &mut self, e: DomId, n: Path<CodId, CodId>, ) -> Option<Path<CodId, CodId>>

Assigns the mapping at a basic morphism, returning the previous assignment.

pub fn unassign_ob(&mut self, x: &DomId) -> Option<CodId>

Unassigns the mapping at an object, returning the previous assignment.

pub fn unassign_basic_mor(&mut self, e: &DomId) -> Option<Path<CodId, CodId>>

Unassigns the mapping a basic morphism, returning the previous assignment.

pub fn syntactic_image<Cat>( &self, cod: &DiscreteDblModel<CodId, Cat>, ) -> DiscreteDblModel<CodId, Cat>

where Cat: FgCategory, Cat::Ob: Hash, Cat::Mor: Hash,

Basic objects and morphisms in the image of the model morphism.

Note this method does not compute the set-theoretic image of the model morphism, as the image of a functor need not even form a category (Math.SE), nor does it compute submodel spanned by the image, generalizing the subcategory spanned by the image of a functor. Instead, this method constructs a “syntactical image” comprising all basic objects and morphisms appearing in the image of the model morphism, possibly inside composites.

pub fn morphisms<'a, Cat>( dom: &'a DiscreteDblModel<DomId, Cat>, cod: &'a DiscreteDblModel<CodId, Cat>, ) -> DiscreteDblModelMorphismFinder<'a, DomId, CodId, Cat>

where Cat: FgCategory, Cat::Ob: Hash, Cat::Mor: Hash,

Finder of morphisms between two models of a discrete double theory.

Trait Implementations

impl<DomId: Clone, CodId: Clone> Clone for DiscreteDblModelMapping<DomId, CodId>

fn clone(&self) -> DiscreteDblModelMapping<DomId, CodId>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<DomId, CodId> DblModelMapping for DiscreteDblModelMapping<DomId, CodId>

where DomId: Clone + Eq + Hash, CodId: Clone + Eq + Hash,

type DomOb = DomId

Type of objects in the domain model.

type DomMor = Path<DomId, DomId>

Type of morphisms in the domain model.

type CodOb = CodId

Type of objects in the codomain model.

type CodMor = Path<CodId, CodId>

Type of morphisms in the codomain model.

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

Applies the mapping to an object in the domain model.

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

Applies the mapping to a morphism in the domain model.

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<DomId: Debug, CodId: Debug> Debug for DiscreteDblModelMapping<DomId, CodId>

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

Formats the value using the given formatter.

impl<DomId, CodId> Default for DiscreteDblModelMapping<DomId, CodId>

fn default() -> Self

Returns the “default value” for a type.

impl<DomId, CodId> PartialEq for DiscreteDblModelMapping<DomId, CodId>

where DomId: Eq + Hash, CodId: PartialEq,

fn eq(&self, other: &Self) -> 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.