射の、そして射がその上で定義される構造(対象)を調べることは圏論の中核を成す。