Introduction to Categories and Categorical Logic

  title={Introduction to Categories and Categorical Logic},
  author={Samson Abramsky and Nikos Tzevelekos},
Preface The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain numerous exercises, and hopefully will prove useful for self-study by those seeking a first introduction to the subject, with fairly minimal prerequisites. The coverage is by no means comprehensive, but should provide a good basis for further study; a… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 34 times over the past 90 days. VIEW TWEETS

From This Paper

Topics from this paper.
36 Citations
10 References
Similar Papers


Publications citing this paper.

54 Citations

Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 10 references

Category Theory, Oxford University

  • S. Awodey
  • 2006
1 Excerpt

Topoi, the categorial analysis of logic, North-Holland 1984

  • R Goldblatt
  • Reprinted by Dover Books
  • 2006
1 Excerpt

and C

  • M. Bar
  • Wells, Category Theory for Computing Science…
  • 1999
1 Excerpt

and S

  • F. Lawver
  • Schanuel, Conceptual Mathematics: A First…
  • 1997
1 Excerpt

Handbook of Categorical Algebra Volumes

  • F. Borceux
  • 1994
1 Excerpt

and P

  • J. Lambe
  • J. Scott, Introduction to higher-order…
  • 1986
1 Excerpt

and G

  • H. Herrlic
  • Strecker, Category Theory, Second Edition…
  • 1979
1 Excerpt

Arrows, Structures and Functors: the Categorical Imperative

  • M. Arbib, E. Manes
  • Academic Press
  • 1975
1 Excerpt

Similar Papers

Loading similar papers…