网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 Final functor
释义

Final functor

英语百科

Final functor

In Category theory, the notion of final functor (resp., initial functor) is a generalization of the notion of final object (resp., initial object) in a category.

A functor F: C\to D is called final if, for any set-valued functor G: D\to Set, the colimit of G is the same as the colimit of G\circ F. Note that an object d∈Ob(D) is a final object in the usual sense if and only if the functor \{*\}\xrightarrow{d}D is a final functor as defined here.

随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/23 23:52:59