Makotoy

また、私は[[:en:Apply]]のページは[[数学]]と[[計算機科学]]の用法が混在しており、本来は分割されるべき記事であると考えています。もし、この認識が正しければ、私が興味があるのは数学の方ですので、翻訳は数学の部分だけで結構です。なお、その際のページ名は[[適用 (数学)]]が適切と思われます。--[[特別:投稿記録/222.9.173.36|222.9.173.36]] 2014年2月15日 (土) 16:53 (UTC)

: こんにちは。該当記事の "Universal property" 節のことでしょうか？文量的にはすぐにできるのでお引き受けしても構いません。ところで，あの内容は圏論（・型理論・理論計算機科学）の枠組みで関数の適用という操作をどのように形式化するかというもののようです。わざわざ記事を新しく作るよりは，[[冪対象]]（同じ図式が既にある）を充実させるという方向で作業していいでしょうか？--[[利用者:Makotoy|Makotoy]]（[[利用者‐会話:Makotoy|会話]]） 2014年2月20日 (木) 09:58 (UTC)