hasDefinitionSource

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Strong_monoidal_functor Mac Lane, Categories for the Working Mathematician