MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category Theory | IEEE Conference Publication | IEEE Xplore