Introduction to Categories and Categorical Logic
by Samson Abramsky, Nikos Tzevelekos
Publisher: arXiv 2011
Number of pages: 101
Description:
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 main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
Download or read it online for free here:
Download link
(710KB, PDF)
Similar books
Categorical Homotopy Theoryby Emily Riehl - Cambridge University Press
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Emily Riehl discusses two competing perspectives by which one typically first encounters homotopy (co)limits ...
(6743 views)
Category Theory Lecture Notesby Michael Barr, Charles Wells
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
(14808 views)
Dynamical Systems and Sheavesby D. I. Spivak, C. Vasilakopoulou, P. Schultz - arXiv
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time.
(9200 views)
Abelian Categories: an Introduction to the Theory of Functorsby Peter Freyd - Harper and Row
From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.
(15956 views)