関係付き箙による圏の定義