Introduction to Category Theory and Categorical Logic...

Main
Mathematics - Algebra
Introduction to Category Theory and...

Introduction to Category Theory and Categorical Logic [Lecture notes]

Thomas Streicher

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Mathematics - Algebra

Tahun:

2017

Bahasa:

english

Halaman:

117

File:

PDF, 659 KB

IPFS:

,

english, 2017

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

D. E. Rydeheard, R.M. Burstall — Computational category theory

Thomas Streicher — Introduction to Category Theory and Categorical Logic

Michael Barr, Charles Wells — A supplement for Category theory for computing science

Zhaohui Luo — Computation and Reasoning: A Type Theory for Computer Science

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

Bart Jacobs — Categorical Logic and Type Theory

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

D. Sannella. M Fourman, H. Peng and P. Wadler — Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)

Borceux F. — Handbook of categorical algebra. Categories of sheaves

Michael Barr, Charles Wells — Toposes, triples, and theories (draft)

Michael Barr, Charles Wells (auth.) — Toposes, Triples and Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Unknown — Barr M Wells W Toposes Triples And Theories

Bodo Pareigis — Categories and Functors

Unknown — Toposes Triples And Theories M Barr W Wells

Michael Barr & Charles Frederick Wells — Toposes Triples And Theories M Barr W Wells

Desconocido — Toposes Triples And Theories M Barr W Wells

Unknown — Toposes Triples And Theories M Barr W Wells

Michael Barr & Charles Wells — Toposes, Triples, and Theories

Pierre Schapira — Algebra and Topology Course at Paris VI University, 2006/2007

P. T. Johnstone — Part III - Category Theory

P.T. Johnstone — Topos Theory

Bodo Pareigis — Categories and functors

Thomas Streicher — Fibred categories à la Jean Bénabou [Lecture notes]

Jonas Frey — A Universal Characterisation of the Tripos-to-Topos Construction [thesis]

Pareigis B. — Categories and Functors

Thomas Streicher — Fibred categories à la Jean Bénabou

— Journal of Pure and Applied Algebra №17 (1980)

Bodo Pareigis — Categories and functors

P.J. Freyd, A. Scedrov — Categories, Allegories

Bodo Pareigis — Categories and functors

P.T. Johnstone — Topos Theory

Bodo Pareigis — Categories and Functors (Pure and Applied Mathematics, Vol. 39)

Nicolae P. — Abelian categories with Applications to Rings and Modules

Peter T. Johnstone — Sketches of an Elephant: A Topos Theory Compendium, Volumes 1 & 2

M. Barr, C. Wells — Toposes, Triples and Theories

Istilah kunci