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

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

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

主要なフレーズ