Category theory in context

Main
Mathematics - Algebra
Category theory in context

Category theory in context

Emily Riehl

5.0 / 5.0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Mathematics - Algebra

წელი:

2019

ენა:

english

გვერდები:

258

ფაილი:

PDF, 1.33 MB

IPFS:

,

english, 2019

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Eugenia L. Cheng — Category Theory [Lecture notes]

Michael Barr, Charles Wells — Category Theory for Computing Science

Jaap van Oosten — Basic Category Theory and Topos Theory

Emily Riehl — A survey of categorical concepts

Emily Riehl — Algebraic model structures

Emily Riehl — Category theory in context

Emily Riehl — Higher category theory [lecture notes]

Emily Riehl, Dominic Verity — Infinity-category theory from scratch

Harold Simmons — An Introduction to Category Theory [Solution Manual]

Emily Riehl — Categorical homotopy theory

Emily Riehl — The algebra and geometry of infinity-categories

Bartosz Milewski — Category Theory for Programmers

Bartosz Milewski — Category Theory for Programmers (Scala edition)

Bartosz Milewski; Igal Tabachnik — Category Theory for Programmers

Thomas Jech — Set Theory: The Third Millenium Edition, Revised and Expanded

Steve Awodey — Category Theory

Chris Heunen, Jamie Vicary — Categories for Quantum Theory: An Introduction

Olivia Caramello — Theories, Sites, Toposes

David Corfield — Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

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

Tai-Danae Bradley, Tyler Bryson, John Terilla — Topology: A Categorical Approach

Benjamin C. Pierce — Basic Category Theory for Computer Scientists

Fred H. Croom — Basic Concepts of Algebraic Topology

Saunders Mac Lane — Mathematics: Form and Function

Saunders Mac Lane — Categories for the Working Mathematician

Karen E. Smith, Pekka Kekäläinen, Lauri Kahanpää, William Traves — An invitation to algebraic geometry

Bart Jacobs — Categorical Logic and Type Theory

David S. Dummit, Richard M. Foote — Abstract Algebra: Third Edition

Jiri Adamek, Horst Herrlich, George E. Strecker — Abstract and concrete categories: the joy of cats

Emily Riehl — Category Theory in Context

F. William Lawvere, Robert Rosebrugh — Sets for Mathematics

Francis Borceux — 001: Handbook of Categorical Algebra: Volume 1, Basic Category Theory

Francis Borceux — Handbook of Categorical Algebra: Volume 2, Categories and Structures

Francis Borceux — Handbook of Categorical Algebra 3: Categories of Sheaves

J. Roger Hindley — Basic Simple Type Theory

F. William Lawvere, Stephen Hoel Schanuel — Conceptual Mathematics: A First Introduction to Categories

Carlos Simpson — Homotopy Theory of Higher Categories

Ib Henning Madsen, Jørgen Tornehave — From calculus to cohomology: de Rham cohomology and characteristic classes

Allen Hatcher — Algebraic Topology

Francis Borceux, George Janelidze — Galois Theories

Harold Simmons — An Introduction to Category Theory

საკვანძო ფრაზები