指標の継承

code:diagram.sig

2-signature <Diagram: J, C; T> fixed-in CAT

Data

0-morph

J : Cat

C : CAT

1-morph

T : J -> C

code:cocone.sig

2-signature <Cocone: J, C; T, x; μ> fixed-in CAT

Inherit <Diagram: J, C; T>

Data

1-morph

x : 1 -> C

2-morph

μ : T => ! * x

: J -> C

人間が読みやすいように中身を展開したものをコメントとして添えておくか？

code:cocone.sig

2-signature <Cocone: J, C; T, x; μ> fixed-in CAT

Inherit <Diagram: J, C; T>

--Data

-- 0-morph

-- J : Cat

-- C : CAT

-- 1-morph

-- T : J -> C

Data

1-morph

x : 1 -> C

2-morph

μ : T => ! * x

: J -> C