| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Finite Limits and Anti-unification in Substitution Categories
Abstract : It is well-known that coequalisers and pushouts of substitutions correspond to solutions of unification problems, and therefore do not always exist. But how about equalisers and pullbacks? If the literature contains the answers, they are well-hidden.We provide explicit details and proofs for these constructions in categories with substitutions as morphisms, and in particular work out the details of categorial products for which the universal arrow construction turns out to correspond exactly to anti-unification.
Cited literature [12 references]
https://hal.inria.fr/hal-02364568
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, November 15, 2019 - 9:02:57 AM
Last modification on : Friday, November 15, 2019 - 9:05:06 AM
Long-term archiving on: : Sunday, February 16, 2020 - 1:18:10 PM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, November 15, 2019 - 9:02:57 AM
Last modification on : Friday, November 15, 2019 - 9:05:06 AM
Long-term archiving on: : Sunday, February 16, 2020 - 1:18:10 PM
File
486157_1_En_5_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License