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: 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.
(7095 views)
Book cover: Higher AlgebraHigher Algebra
by - Harvard University
Contents: Stable infinite-Categories; infinite-Operads; Algebras and Modules over infinte-Operads; Associative Algebras and Their Modules; Little Cubes and Factorizable Sheaves; Algebraic Structures on infinite-Categories; and more.
(18481 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.
(10306 views)
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.
(12121 views)