圏論的DB