Struct FpCategory 

pub struct FpCategory { /* private fields */ }

A finitely presented category backed by an e-graph.

A data structure for a f.p. category in which the congruence relation generated by the path equations is maintained by an e-graph. The question of whether paths in the presented category are equivalent is referred to the e-graph.

Interior mutability

Checking equivalence of paths requires mutating the underlying e-graph. However, we do not want to regard this check as mutating, for the theoretical reason that the check does not change the category presented and the practical reason that it would cause mutable references to be aggressively propagated throughout the codebase. Thus, we use the interior mutability pattern to encapsulate the mutability of the e-graph and perform borrow checking at runtime. The current implementation allows only single-threaded usage.

Implementations

impl FpCategory

pub fn new() -> Self

Creates a default value for this type.

impl FpCategory

pub fn generators(&self) -> &impl FinGraph<V = QualifiedName, E = QualifiedName>

Gets the generating graph of the category presentation.

pub fn equations( &self, ) -> impl Iterator<Item = (QualifiedName, &QualifiedPathEq)>

Gets the path equations of the category presentation.

pub fn is_free(&self) -> bool

Is the category freely generated?

pub fn add_ob_generator(&mut self, v: QualifiedName)

Adds an object generator.

pub fn add_ob_generators( &mut self, iter: impl IntoIterator<Item = QualifiedName>, )

Adds several object generators at once.

pub fn add_mor_generator( &mut self, e: QualifiedName, dom: QualifiedName, cod: QualifiedName, )

Adds a morphism generator.

pub fn make_mor_generator(&mut self, e: QualifiedName)

Adds a morphism generator without declaring its (co)domain.

pub fn get_dom(&self, e: &QualifiedName) -> Option<&QualifiedName>

Gets the domain of a morphism generator.

pub fn get_cod(&self, e: &QualifiedName) -> Option<&QualifiedName>

Gets the codomain of a morphism generator.

pub fn set_dom(&mut self, e: QualifiedName, v: QualifiedName)

Sets the domain of a morphism generator.

pub fn set_cod(&mut self, e: QualifiedName, v: QualifiedName)

Sets the codomain of a morphism generator.

pub fn add_equation(&mut self, name: QualifiedName, eq: QualifiedPathEq)

Adds a path equation to the presentation.

pub fn equate( &mut self, name: QualifiedName, lhs: QualifiedPath, rhs: QualifiedPath, )

Equates two path in the presentation.

pub fn iter_invalid(&self) -> impl Iterator<Item = InvalidFpCategory> + '_

Iterates over failures to be a well-defined presentation of a category.

Trait Implementations

impl Category for FpCategory

type Ob = QualifiedName

Type of objects in category.

type Mor = Path<QualifiedName, QualifiedName>

Type of morphisms in category.

fn has_ob(&self, x: &Self::Ob) -> bool

Does the category contain the value as an object?

fn has_mor(&self, path: &Self::Mor) -> bool

Does the category contain the value as a morphism?

fn dom(&self, path: &Self::Mor) -> Self::Ob

Gets the domain of a morphism in the category.

fn cod(&self, path: &Self::Mor) -> Self::Ob

Gets the codomain of a morphism in the category.

fn compose(&self, path: Path<Self::Ob, Self::Mor>) -> Self::Mor

Composes a path of morphisms in the category.

fn compose2(&self, path1: Self::Mor, path2: Self::Mor) -> Self::Mor

Composes a pair of morphisms with compatible (co)domains.

fn morphisms_are_equal(&self, path1: Self::Mor, path2: Self::Mor) -> bool

Are the two morphisms in the category equal?

fn id(&self, x: Self::Ob) -> Self::Mor

Constructs the identity morphism at an object.

impl Clone for FpCategory

fn clone(&self) -> FpCategory

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FpCategory

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

Formats the value using the given formatter.

impl Default for FpCategory

fn default() -> Self

Returns the “default value” for a type.

impl FgCategory for FpCategory

type ObGen = QualifiedName

Type of an object generator.

type MorGen = QualifiedName

Type of a morphism generator.

fn ob_generators(&self) -> impl Iterator<Item = Self::ObGen>

Iterates over object generators.

fn mor_generators(&self) -> impl Iterator<Item = Self::MorGen>

Iterates over morphism generators.

fn mor_generator_dom(&self, f: &Self::MorGen) -> Self::Ob

The domain of a morphism generator.

fn mor_generator_cod(&self, f: &Self::MorGen) -> Self::Ob

The codomain of a morphism generator.

fn objects(&self) -> impl Iterator<Item = Self::Ob>

Iterates over basic objects.

fn morphisms(&self) -> impl Iterator<Item = Self::Mor>

Iterates over basic morphisms.

impl From<FpCategory> for DiscreteDblTheory

fn from(value: FpCategory) -> Self

Converts to this type from the input type.

impl PartialEq for FpCategory

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.

impl Validate for FpCategory

type ValidationError = InvalidFpCategory

The type of a validation error.

fn validate(&self) -> Result<(), NonEmpty<Self::ValidationError>>

Validates the object.

impl Eq for FpCategory