タケヤマ マコト   Takeyama Makoto
  武山 誠
   所属   神奈川大学  理学部 情報科学科
    神奈川大学大学院  理学研究科 理学専攻(情報科学領域)
   職種   教授
言語種別 英語
発行・発表の年月 1997
形態種別 学術雑誌
査読 査読あり
標題 Sketches (proceedings version)
執筆形態 共著
掲載誌名 MFPS XIII, Electronic Notes in Theoretical Computer Sicnece, vol. 6
掲載区分国外
巻・号・頁 6,pp.235-248
著者・共著者 Yoshiki Kinoshita, A. John Power, Makoto Takeyama
概要 We generalise the notion of sketch. For any locally finitely presentable category, one can speak of algebraic structure on the category, or equivalently, a finitary monad on it. For any such finitary monad, we define the notions of sketch and model and prove that any sketch has a free model on it. This is all done with enrichment in any monoidal biclosed category that is locally finitely presentable as a closed category. The leading example is the category of small categories together with the monad for small categories with binary products: we then recover the usual notion of binary product sketch; and that is typical. This generalises many of the extant notions of sketch.