coend

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;