圏の圏
圏
を対象とし、
関手
を射とする圏