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: Abelian Categories: an Introduction to the Theory of FunctorsAbelian Categories: an Introduction to the Theory of Functors
by - 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.
(6890 views)
Book cover: An Introduction to Category Theory in Four Easy MovementsAn Introduction to Category Theory in Four Easy Movements
by - Manchester University
Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.
(6556 views)
Book cover: Basic Concepts of Enriched Category TheoryBasic Concepts of Enriched Category Theory
by - Cambridge University Press
The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.
(7875 views)
Book cover: Functors and Categories of Banach SpacesFunctors and Categories of Banach Spaces
by - Springer
The aim of this book is to develop the theory of Banach operator ideals and metric tensor products along categorical lines: these two classes of mathematical objects are endofunctors on the category Ban of all Banach spaces in a natural way.
(5181 views)