Artiﬁcial Intelligence 302 (2022) 103608

8.5.  Examples with metric properties

In  this  section  we  give  examples  of  how  the  extended  framework  can  be  used  to  express  new  things  or  express  old 
things in new ways. The examples are deliberately quite different from each other in order to demonstrate the breadth of 
applicability of an abstract framework of this kind.

8.5.1.  Admissibility and homomorphisms
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen