Introduction to Categories and Categorial Logic (draft)

Main
Mathematics - Algebra
Introduction to Categories and...

Introduction to Categories and Categorial Logic (draft)

Samson Abramsky, Nikos Tzevelekos

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Mathematics - Algebra

Година:

2011

Издание:

e-book (7. February 2011)

Издателство:

arXiv.org

Език:

english

Страници:

101

Файл:

PDF, 898 KB

IPFS:

,

english, 2011

Четете Онлайн

Изтегляне (pdf, 898 KB)

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

J. Lambek, P. J. Scott — Introduction to higher-order categorical logic

Jay C.B. — An introduction to categories in computing

Smith, Peter — Category Theory_ A Gentle Introduction

John C. Baez, Mike Stay — Physics, Topology, Logic and Computation A Rosetta Stone

Mario Caccamo, Glynn Winskel — Lecture Notes in Category Theory [Draft]

Eugenia L. Cheng — Category Theory [Lecture notes]

Julia Goedecke — Category Theory [Lecture notes]

William R. Schmitt — A concrete introduction to category theory

P. T. Johnstone — Part III - Category Theory

Sofi Ging Jovanovska — Beck’s theorem characterizing algebras

Ignacio López Franco, D. Mehrle — Topics in Category Theory: Hopf Algebras Lectures

Marco A. Pérez B. — Introduction to category theory: course notes

Marco A. Pérez B. — The Freyd’s adjoint functor Theorem

Uday S. Reddy — Categories and Functors (Lecture Notes for Midlands Graduate School, 2012)

Emily Riehl — Algebraic model structures

Harold Simmons — An introduction to Category Theory [draft]

Peter Smith — Category Theory: A Gentle Introduction [draft]

Steve Awodey — Categorical Logic [Lecture notes]

Baez J.C., Stay M. — Physics, Topology, Logic and Computation - A Rosetta Stone

Smith P — Category theory. A gentle introduction

Bartosz Milewski — Category Theory for Programmers

Makkai M. — Fibrational formulation of intuitionistic predicate logic 1

Daniele Turi — Category Theory 001

Makkai M. — Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Asperti A. — Categories, types and structures

Andrea Asperti, Giuseppe Longo — Categories, types, and structures. Introduction to category theory for computer scientists

Benjamin C. Pierce — Basic category theory for computer scientists

Saunders Mac Lane — Categories for the Working Mathematician

Saunders Mac Lane — Categories for the Working Mathematician

Harold Simmons — An introduction to category theory

J. Lambek, P. J. Scott — Introduction to Higher-Order Categorical Logic

Kosta Došen — Cut Elimination in Categories

Ralf Hinze, Dan Marsden — Introducing String Diagrams: The Art of Category Theory

Harold Simmons — An Introduction to Category Theory

Fosco Loregian — (Co)end Calculus

Най-често използвани термини