Category Theory

Category theory deals in an abstract way with mathematical structures and relationships between them.

All categoriesBooks under this sub-category (5 books)

Categories, Types And Structures

A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.

Categories, Types And Structures

A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.

This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.

This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.

Practical Foundations of Mathematics

The book is an account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint. It collects the methods of construction of the objects of twentieth century mathematics.

Practical Foundations of Mathematics

The book is an account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint. It collects the methods of construction of the objects of twentieth century mathematics.

Topoi: The Categorial Analysis of Logic

A classic exposition of a branch of mathematical logic that uses category theory.

Topoi: The Categorial Analysis of Logic

A classic exposition of a branch of mathematical logic that uses category theory.

This book is an introduction to toposes, triples and theories and the connections between them.

This book is an introduction to toposes, triples and theories and the connections between them.

Book Categories

Computer Science
15
Introduction to Computer Science
32
Introduction to Computer Programming
52
Algorithms and Data Structures
25
Artificial Intelligence
24
Computer Vision
30
Machine Learning
6
Neural Networks
22
Game Development and Multimedia
25
Data Communication and Networks
5
Coding Theory
16
Computer Security
9
Information Security
35
Cryptography
3
Information Theory
17
Computer Organization and Architecture
22
Operating Systems
2
Image Processing
11
Parallel Computing
4
Concurrent Programming
22
Relational Database
3
Document-oriented Database
14
Data Mining
16
Big Data
17
Data Science
23
Digital Libraries
22
Compiler Design and Construction
26
Functional Programming
11
Logic Programming
26
Object Oriented Programming
21
Formal Methods
70
Software Engineering
3
Agile Software Development
7
Information Systems
5
Geographic Information System (GIS)

Mathematics
67
Mathematics
14
Algebra
1
Abstract Algebra
27
Linear Algebra
3
Number Theory
8
Numerical Methods
2
Precalculus
10
Calculus
3
Differential Equations
5
Category Theory
10
Proofs
19
Discrete Mathematics
24
Theory of Computation
14
Graph Theory
2
Real Analysis
1
Complex Analysis
14
Probability
45
Statistics
7
Game Theory
5
Queueing Theory
13
Operations Research
16
Computer Aided Mathematics

Supporting Fields
21
Web Design and Development
1
Mobile App Design and Development
28
System Administration
2
Cloud Computing
10
Electric Circuits
6
Embedded System
27
Signal Processing
4
Network Science
3
Project Management

Operating System
Programming/Scripting
6
Ada
13
Assembly
34
C / C++
8
Common Lisp
2
Forth
35
Java
13
JavaScript
1
Lua
15
Microsoft .NET
1
Rexx
12
Perl
6
PHP
68
Python
12
R
1
Rebol
13
Ruby
2
Scheme
3
Tcl/Tk

Miscellaneous
Most Popular Books

402,251
Introduction to Objective Caml
215,681
Notes for the Course of Algorithms
187,577
Lessons In Electric Circuits
170,562
A Beginners C++
134,408
Introduction to Object-Oriented Programming Using C++
126,592
A Short Introduction to Operating Systems
125,335
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
121,731
Programming The Nintendo Game Boy Advance: The Unofficial Guide
116,983
C Programming Tutorial (K&R version 4)
116,083
Computer Organization and Design Fundamentals