図式
diagram
summary.icon
小さい圏から圏への函手
錐や余錐を考えるときによくそう呼ぶ
definition.icon
圏$ C 上の図式 diagram $ T \colon J → C
where
添字圏 index category $ J
小さい圏
code:diagram.sig
2-signature <Diagram: J, C; T> fixed-in CAT
Data
0-morph
J : Cat
C : CAT
1-morph
T : J -> C