Introduction to Category Theory and Categorical Logic

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

Introduction to Category Theory and Categorical Logic

Thomas Streicher

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Mathematics - Algebra

Տարի:

2018

Հրատարակում:

version 10 Mar 2018

Լեզու:

english

Էջեր:

117

Սերիաներ:

lecture notes

Ֆայլ:

PDF, 664 KB

IPFS:

,

english, 2018

Կարդալ Առցանց

Ներբեռնել (pdf, 664 KB)

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Thomas Streicher — Introduction to Category Theory and Categorical Logic [Lecture notes]

Chris Heunen — Categorical Quantum Models and Logics (Pallas Proefschriften)

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

Paul Taylor — Practical Foundations of Mathematics [+ Errata and Reviews]

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

P. T. Johnstone — Part III - Category Theory

P.T. Johnstone — Topos Theory

I. Moerdijk and J. van Oosten — 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)

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

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

Francis Borceux — Handbook of Categorical Algebra: Sheaf Theory

Հիմնական արտահայտություններ