Related Books

Locally Presentable and Accessible Categories
Language: en
Pages: 334
Authors: Jiri Adamek (ing)
Categories: Mathematics
Type: BOOK - Published: 1994-03-10 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

First the concepts of [lambda]-presentable objects, locally [lambda]-presentable categories, and [lambda]-accessible categories are discussed in detail. The aut
Higher Topos Theory
Language: en
Pages: 944
Authors: Jacob Lurie
Categories: Mathematics
Type: BOOK - Published: 2009-07-26 - Publisher: Princeton University Press

DOWNLOAD EBOOK

In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and show
Basic Category Theory
Language: en
Pages: 193
Authors: Tom Leinster
Categories: Mathematics
Type: BOOK - Published: 2014-07-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A short introduction ideal for students learning category theory for the first time.
Accessible Categories: The Foundations of Categorical Model Theory
Language: en
Pages: 186
Authors: Mihály Makkai
Categories: Mathematics
Type: BOOK - Published: 1989 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

Intended for category theorists and logicians familiar with basic category theory, this book focuses on categorical model theory, which is concerned with the ca
Sketches of an Elephant: A Topos Theory Compendium
Language: en
Pages: 836
Authors: P. T. Johnstone
Categories: Computers
Type: BOOK - Published: 2002-09-12 - Publisher: Oxford University Press

DOWNLOAD EBOOK

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from th