翻訳と辞書 Words near each other ・ F-90 (comics) ・ F-94 Starfire units of the United States Air Force ・ F-A-E Sonata ・ F-actin capping protein ・ F-algebra ・ F-ATPase ・ F-Beat Records ・ F-body ・ F-box protein ・ F-Center ・ F-clamp ・ F-class blimp ・ F-class destroyer ・ F-class escort ship ・ F-class submarine ・ F-coalgebra ・ F-distribution ・ F-divergence ・ F-Droid ・ F-F-F-Falling ・ F-factor ・ F-factor (conversion factor) ・ F-FCSR ・ F-flat ・ F-flat major ・ F-Hemoglobin ・ F-INSAS ・ F-IRE Collective ・ F-Law ・ F-League Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク F-coalgebra ： ウィキペディア英語版 F-coalgebra In mathematics, specifically in category theory, an $F$-coalgebra is a structure defined according to a functor $F$. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in computer science: examples of coalgebras include lazy, infinite data structures, such as streams, and also transition systems. $F$-coalgebras are dual to $F$-algebras. Just as the class of all algebras for a given signature and equational theory form a variety, so does the class of all $F$-coalgebras satisfying a given equational theory form a covariety, where the signature is given by $F$. ==Definition== An $F$-coalgebra for an endofunctor on the category $\backslash mathcal$ :$F\; :\; \backslash mathcal\backslash longrightarrow\; \backslash mathcal$ is an object $A$ of $\backslash mathcal$ together with a morphism :$\backslash alpha\; :\; A\; \backslash longrightarrow\; FA$ usually written as $(A,\; \backslash alpha)$. An $F$-coalgebra homomorphism from $(A,\; \backslash alpha)$ to another $F$-coalgebra $(B,\; \backslash beta)$ is a morphism :$f:A\backslash longrightarrow\; B$ in $\backslash mathcal$ such that :$Ff\backslash circ\; \backslash alpha\; =\; \backslash beta\; \backslash circ\; f$. Thus the $F$-coalgebras for a given functor ''F'' constitute a category. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「F-coalgebra」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.