Struct ProdCone 

pub struct ProdCone<A, B, Z> {
    pub proj1: Box<dyn Fn(Z) -> A>,
    pub proj2: Box<dyn Fn(Z) -> B>,
}

ProdCone encodes the cone of a product diagram: morphisms into both projections.

Fields

proj1: Box<dyn Fn(Z) -> A>

Projection to first component.

proj2: Box<dyn Fn(Z) -> B>

Projection to second component.

Implementations

impl<A: 'static, B: 'static, Z: Clone + 'static> ProdCone<A, B, Z>

pub fn new(p1: impl Fn(Z) -> A + 'static, p2: impl Fn(Z) -> B + 'static) -> Self

pub fn mediate(&self, z: Z) -> (A, B)

Universal mediating morphism into the product.