Universal Algebra and Coalgebra

Klaus Denecke, S. L. W. (2009). Universal Algebra and Coalgebra.

Type

Unclassified

Intellectual base

Unclassified

Year

2009

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Term algebra
  • … interpretation in a signature algebra, unique evaluation homomorphism and universal or initial property, substitution and endomorphisms, ground terms and quotients by equations are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:52da14ddf7a1 · see in the full table