TY  - RPRT
TI  - How Logic Interacts with Geometry: Infinitesimal Curvature of Categorical Spaces
AU  - Michael Heller
AU  - Jerzy Król
PY  - 2016
UR  - https://arxiv.org/abs/1605.03099
ID  - 1605.03099
ER  -