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