@article{abramsky2010introduction,
  title = "{Introduction to categories and categorical logic}",
  author = "Abramsky, S. and Tzevelekos, N.",
  year = "2010",
  journal = "New Structures for Physics. Springer",
}