Logo

Introduction to Categories and Categorical Logic

Small book cover: Introduction to Categories and Categorical Logic

Introduction to Categories and Categorical Logic
by

Publisher: arXiv
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.

Home page url

Download or read it online for free here:
Download link
(710KB, PDF)

Similar books

Book cover: Category Theory Lecture NotesCategory Theory Lecture Notes
by - University of Edinburgh
These notes were written for a course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.
(10683 views)
Book cover: Combinatorics and Algebra of Tensor CalculusCombinatorics and Algebra of Tensor Calculus
by - arXiv
In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.
(5470 views)
Book cover: Notes on Categories and GroupoidsNotes on Categories and Groupoids
by - Van Nostrand Reinhold
A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.
(13927 views)
Book cover: Abstract and Concrete Categories: The Joy of CatsAbstract and Concrete Categories: The Joy of Cats
by - John Wiley & Sons
A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.
(18192 views)