uconf.algebraic.pullback_algebra

Classes

PullbackAlgebra(morphism, algebra)

Pull back an algebra along an operad morphism.
class uconf.algebraic.pullback_algebra.PullbackAlgebra(morphism, algebra)[source]

Bases: OperadAlgebra

Pull back an algebra along an operad morphism.

Given a Q-algebra algebra and a morphism f: P → Q, the pullback is the P-algebra with the same underlying module and structure map γ^P(p; a_1,…,a_n) = γ^Q(f(p); a_1,…,a_n).

Parameters

morphismOperadMorphism

A morphism f: P → Q.

algebraOperadAlgebra

A Q-algebra.

act(p_element, algebra_elements)[source]

Apply the pullback structure map γ^Q(f(p); a_1, …, a_n).

Parameters:

  • p_element (Any)

  • algebra_elements (Any)

Return type:

Any

boundary(a)[source]

Apply the differential of the underlying module.

Parameters:

a (Any)

Return type:

Any

Parameters: