Skip to main content

Kernels‚ in a Nutshell

Jeremy Gibbons

Abstract

A classical result in algebraic specification states that a total function defined on an initial algebra is a homomorphism if and only if the kernel of that function is a congruence. We expand on the discussion of that result from an earlier paper: extending it from total to partial functions, simplifying the proofs using relational calculus, and generalising the setting to regular categories.

Journal
Journal of Logical and Algebraic Methods in Programming
Month
August
Number
5‚ part 2
Pages
921−930
Publisher
Elsevier
Volume
85
Year
2016