http://www.scholarpedia.org/article/Triangular_norms_and_conorms wikipedia:en:Loop_(algebra) wikipedia:en:Universal_property wikipedia:en:Free_object

http://ocaml.jp/FrontPage http://www.ocaml-tutorial.org/ja