Library Exercise_4_4_1_7


Require Import Utf8.

Set Implicit Arguments.

Generalizable All Variables.


Exercise 4.4.1.7

Problem

Let Loop and L_n be the schemas deļ¬ned in Exercise 4.4.1.6.
(a) What is the cardinality of the set Hom_Sch(L_3, L_5)?
(b) What is the cardinality of the set Hom_Sch(L_5, L_3)? Hint: the cardinality of the set Hom_Sch(L_4, L_9) is 8.