Recent Trends in Algebraic Development Techniques by José Luiz Fiadeiro & Ionuț Țuțu

Author:José Luiz Fiadeiro & Ionuț Țuțu
Language: eng
Format: epub
ISBN: 9783030232207
Publisher: Springer International Publishing

2.Monomorphisms are those substitutions for which the image of any variable does not result from applying that substitution to any term different from that variable, as previously shown in (Kahl 2015).

3.Equalisers of two substitutions in the substitution category always exist, and are the variable subset injections for the subset on which the two substitutions have the same images—these are the equalisers of the two substitutions in , but the proof of the universal property is substitution-specific.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.