hasUnitTransformation

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Monoid_in_Category_of_Endofunctors Natural transformation (η: Id → T)