Random triples
Subject | Object |
---|---|
gptkb:Lax_functor | Natural transformation for composition |
gptkb:Lax_functor | Natural transformation for identities |
Subject | Object |
---|---|
gptkb:Lax_functor | Natural transformation for composition |
gptkb:Lax_functor | Natural transformation for identities |