TY  - RPRT
TI  - Toward formalizing ologs: Linguistic structures, instantiations, and mappings
AU  - Marco A. Pérez
AU  - David I. Spivak
PY  - 2015
UR  - https://arxiv.org/abs/1503.08326
ID  - 1503.08326
ER  -