Kernels, in a nutshell
<p style="text-align:justify;">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: ext...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2015
|
| _version_ | 1826307870367416320 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | <p style="text-align:justify;">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. </p> |
| first_indexed | 2024-03-07T07:11:06Z |
| format | Journal article |
| id | oxford-uuid:a18c2bac-2196-47c0-ad4e-b44d349e0d5e |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T07:11:06Z |
| publishDate | 2015 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:a18c2bac-2196-47c0-ad4e-b44d349e0d5e2022-06-16T11:46:27ZKernels, in a nutshellJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:a18c2bac-2196-47c0-ad4e-b44d349e0d5eEnglishSymplectic Elements at OxfordElsevier2015Gibbons, J <p style="text-align:justify;">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. </p> |
| spellingShingle | Gibbons, J Kernels, in a nutshell |
| title | Kernels, in a nutshell |
| title_full | Kernels, in a nutshell |
| title_fullStr | Kernels, in a nutshell |
| title_full_unstemmed | Kernels, in a nutshell |
| title_short | Kernels, in a nutshell |
| title_sort | kernels in a nutshell |
| work_keys_str_mv | AT gibbonsj kernelsinanutshell |