wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

homomorphism_minimal (283B)

      1 # Homomorphism minimal
      2 
      3 A [query] Q (in a [query_language]) is *homomorphism minimal* if there is no [query] Q' (in the same [query_language]) such that Q' has a [homomorphism] to Q but Q has no [homomorphism] to Q'
      4 
      5 Defined in [morvan2025homomorphism]
      6 
      7 Up: [ucrpq_strongly_minimal]