TY  - RPRT
TI  - Introduction to Categories and Categorical Logic
AU  - Samson Abramsky
AU  - Nikos Tzevelekos
PY  - 2011
DO  - 10.1007/978-3-642-12821-9_1
UR  - https://arxiv.org/abs/1102.1313
ID  - 1102.1313
ER  -