Symmetric closed monoidal category において・・・ Enriched end 1-functor Ending -wedge の族: が存在するならば、1-functor を次のように定義できる: 系 *1 命題 -functor: について、ending -wedge の族: が存在するならば -natural-looking in なる -inf…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。