1.6 Fibrations of signatures 集合 の生成する自由モノイドを と書く． 集合 と集合族 の組 を signature という． の元を 型 とよび， の元を，引き数型 ，返り値型 の 関数記号 とよぶ． signature の間の射が自然に定義でき，圏 が定義される． は fiber…