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
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.
(9884 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.
(4707 views)
Book cover: Category Theory for ScientistsCategory Theory for Scientists
by - arXiv
We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.
(7858 views)
Book cover: Categories and Homological AlgebraCategories and Homological Algebra
by - UPMC
These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.
(8256 views)