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 for Computing ScienceCategory Theory for Computing Science
by - Prentice Hall
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions basic to category theory in the context of applications to computing science.
(5816 views)
Book cover: Category Theory for the SciencesCategory Theory for the Sciences
by - The MIT Press
This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.
(2983 views)
Book cover: Dynamical Systems and SheavesDynamical Systems and Sheaves
by - 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.
(2707 views)
Book cover: Categorical Homotopy TheoryCategorical Homotopy Theory
by - 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 ...
(1169 views)