scientific article; zbMATH DE number 1971280
From MaRDI portal
Publication:4423192
abstract data typeclosure systemcoalgebracommutatorcongruence latticediscriminatorfree algebrafunctional programmingGalois connectionMal'tsev termterm algebratextbookuniversal algebravariety
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Algebraic structures (08Axx) Varieties (08Bxx) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)
Recommendations
- scientific article; zbMATH DE number 5526289
- A treatise on universal algebra. With applications
- scientific article; zbMATH DE number 1278464
- An invitation to general algebra and universal constructions.
- Generically Algebraic Algebras
- scientific article; zbMATH DE number 2154590
- Generalized dual coalgebras of algebras, with applications to cofree coalgebras
- Gorenstein homological algebra and universal coefficient theorems
- scientific article; zbMATH DE number 4139822
- Universal dialgebra: unifying universal algebra and coalgebra
Cited in
(16)- Coalgebraic logic for stochastic right coalgebras
- Categorically algebraic topology versus universal topology
- Universal algebra and applications in theoretical computer science
- Universal dialgebra: unifying universal algebra and coalgebra
- Weak homomorphisms between functorial algebras
- scientific article; zbMATH DE number 3882364 (Why is no real title available?)
- scientific article; zbMATH DE number 41348 (Why is no real title available?)
- scientific article; zbMATH DE number 51770 (Why is no real title available?)
- scientific article; zbMATH DE number 1278464 (Why is no real title available?)
- scientific article; zbMATH DE number 777416 (Why is no real title available?)
- Minimality Notions via Factorization Systems and Examples
- Efficient and modular coalgebraic partition refinement
- An introduction to (co)algebra and (co)induction
- scientific article; zbMATH DE number 2190991 (Why is no real title available?)
- Identity-preserving Lax extensions and where to find them
- An invitation to general algebra and universal constructions.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4423192)
