HNFは射ではない
そもそも圏論にHNFはない