Struct CubicalPath 

pub struct CubicalPath<A: Clone> {
    pub dim: usize,
    /* private fields */
}

A cubical path from a to b in type A, parameterized by dimension n.

Models the CCHM interval type: I^n → A.

Fields

dim: usize

Dimension of the path

Implementations

impl<A: Clone + 'static> CubicalPath<A>

pub fn constant(value: A) -> Self

Construct a constant path (degenerate, reflecting a point).

pub fn from_fn(f: impl Fn(bool) -> A + 'static) -> Self

Construct a 1-dimensional path from a function [0,1] → A.

pub fn at(&self, face: Vec<bool>) -> A

Evaluate the path at a face (a vector of booleans, one per dimension).

pub fn left(&self) -> A

The left endpoint of the path (i = 0).

pub fn right(&self) -> A

The right endpoint of the path (i = 1).

pub fn face0(&self) -> A

Face map ∂₀ : sets the first dimension variable to 0.

pub fn face1(&self) -> A

Face map ∂₁ : sets the first dimension variable to 1.

pub fn meet(&self, j: bool) -> A

Connection ∧: the path i ↦ p(i ∧ j) for the constant j.

pub fn join(&self, j: bool) -> A

Connection ∨: the path i ↦ p(i ∨ j) for the constant j.

pub fn reverse(self) -> CubicalPath<A>

where A: 'static,

Reverse the path: i ↦ p(~i).