日本語
Sign in
AI tools
トップQs
タイムライン
チャット
Loading AI tools
すべて
記事
辞書
引用
地図
coend
ウィキペディアから
Found in articles
米田の補題
1017/9781108778657. ISBN 978-1-108-74612-0. https://www.cambridge.org/core/books/
coend
-calculus/C662E90767358B336F17B606D19D8C43 2022年10月1日閲覧。 ^ Adámek, Rosický
自然変換
ではこのことを特別自然変換と呼ぶ) を表している。 超自然変換のうち、特にどちらかが定数関手である場合、特殊な(余)極限としてエンド(英語: end)およびコエンド(英語:
coend
)が定まる。エンドやコエンドはhom関手と関連性があり、例えば豊穣圏論では豊穣圏の「関手圏」を定義するためにエンドを用いている。 ^ map between
食事する哲学者の問題
philosopher(0); philosopher(1); philosopher(2); philosopher(3); philosopher(4);
COEND
; END 次のコードは、Javaで書かれた解法の例である(セマフォを使用)。 import java.util.concurrent.Semaphore;