In this paper,it gives the definition of the category of L-sets and bi-induced maps whose true value set is a Locale,a c......