Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-02364568
Contributor : Hal Ifip <>
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

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Wolfram Kahl. Finite Limits and Anti-unification in Substitution Categories. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.87-102, ⟨10.1007/978-3-030-23220-7_5⟩. ⟨hal-02364568⟩

Share

Metrics

Record views

98