धन उगाहना 15 सितंबर, 2024 – 1 अक्टूबर, 2024 धन उगाहने के अभियान के बारे में

Category Theory for Computing Science

Main
Mathematics - Algebra
Category Theory for Computing Science

Category Theory for Computing Science

Michael Barr, Charles Wells

0 / 0

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

श्रेणियाँ:

Mathematics - Algebra

साल:

2013

भाषा:

english

पृष्ठ:

558

श्रृंखला:

Reprints in Theory and Applications of Categories #22

फ़ाइल:

PDF, 2.86 MB

IPFS:

,

english, 2013

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

Allan Clark — Elements of Abstract Algebra

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

Eugenia L. Cheng — Category Theory [Lecture notes]

Jaap van Oosten — Basic Category Theory and Topos Theory

Emily Riehl — Category theory in context

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

Bartosz Milewski — Category Theory for Programmers

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

Bartosz Milewski — Category Theory for Programmers (Scala edition)

Emily Riehl — Category theory in context

Barr M., Wells C. — Category theory for computing science

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

G. M. Reed, A. W. Roscoe, R. F. Wachter — Topology and Category Theory in Computer Science

Steve Awodey — Category Theory

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

Olivia Caramello — Theories, Sites, Toposes

Simon Thompson — Type Theory and Functional Programming

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 — Mathematics: Form and Function

Saunders Mac Lane — Categories for the Working Mathematician

Bart Jacobs — Categorical Logic and Type Theory

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

Emily Riehl — Category Theory in Context

Steven Vickers — Topology via logic

R.F.C. Walters — Categories and Computer Science

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

J. Roger Hindley — Basic Simple Type Theory

Carlos Simpson — Homotopy Theory of Higher Categories

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

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

Saunders Mac Lane, Garrett Birkhoff — Algebra: Third Edition

Harold Simmons — An Introduction to Category Theory

Rob Nederpelt, Herman Geuvers — Type Theory and Formal Proof: An Introduction

Tom Leinster — Basic Category Theory

Eugenia Cheng — The Joy of Abstraction: An Exploration of Math, Category Theory, and Life

Brendan Fong, David I. Spivak — An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Noson S. Yanofsky — Theoretical Computer Science for the Working Category Theorist

Cyrus F. Nourani — A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

Milewski, Bartosz; Tabacnik, Igal — Category theory for programmers

Barr M., Wells C — Category theory for computing science

Eugenia Cheng — Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths

सबसे उपयोगी शब्द