Metainfo: double categories