反变函子
范畴论概念
反变函子是范畴论中的一个函子。
定义
设C为
范畴
,Cop为其
对偶范畴
。考虑
函子
S:Cop→B。则S̄:C→B为C到B的反变函子。
性质
设fop∈Mor(Cop),S̄f=Sfop。
应用
一般的讨论中,比较方便的做法是将反变函子S̄:C→B表示为S:Cop→B或Sop:C→Bop。
参考资料
最新修订时间:2024-05-21 11:25
条目作者
小编
资深百科编辑
目录
概述
定义
性质
应用
参考资料
Copyright©2024
闽ICP备2024072939号-1