Filters








1 Hit in 10.6 sec

Coalgebraic Similarity

Mehdi Zarrad, Gumm, Peter (Prof. Dr. H.)
2017
In chapter 3 we found equivalent statements for weak kernel preservation and the preimage preservation. Additionally, we defined a functor modification, which we called preimage correction.  ...  In Kapitel 3 fanden wir äquivalente Aussagen für die schwache Kerpaarerhaltung und die Urbilderhaltung. Ausserdem definierten wir eine Funktorabänderung, die wir Urbildbereinigung nannten.  ...  with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected PapersD pges IST!  ... 
doi:10.17192/z2017.0539 fatcat:f4lppwfasvhorciukqkmzi6aoe