ある文脈では、「射影」は直積の射影ではなく全射でさえない写像を意味する。つまり、「射影」と「写像」は同義語。こういう“文脈”をどうしたら（ある程度）形式化できるだろうか？内容： 記述方法 ファミリー ファミリー： 無共分ファミリー： ファミリー →…