反变函子
范畴论概念
反变函子是范畴论中的一个函子。
定义
设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
目录
概述
定义
性质
应用
参考资料