Journal article
Kernels, in a nutshell
- 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.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 288.5KB, Terms of use)
-
- Publisher copy:
- 10.1016/j.jlamp.2015.10.006
Authors
- Publisher:
- Elsevier
- Journal:
- Journal of Logical and Algebraic Methods in Programming More from this journal
- Volume:
- 85
- Issue:
- 5
- Pages:
- 921-930
- Publication date:
- 2015-11-10
- Acceptance date:
- 2015-10-17
- DOI:
- ISSN:
-
2352-2216
- Language:
-
English
- Pubs id:
-
pubs:680357
- UUID:
-
uuid:a18c2bac-2196-47c0-ad4e-b44d349e0d5e
- Local pid:
-
pubs:680357
- Source identifiers:
-
680357
- Deposit date:
-
2017-03-01
Terms of use
- Copyright holder:
- Gibbons, J
- Copyright date:
- 2015
- Rights statement:
- © The Author 2015. Published by Elsevier Inc. This is an open access article under the CC BY license.
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record