Categorical informatics


Resource history | v1 (current) | created by jjones

Details

Categorical informatics

| created by jjones | Add resource "Categorical informatics"
Title
Categorical informatics
Type
Hub
Created
no value
Description
Category theory is a universal modeling language.
Link
http://math.mit.edu/~dspivak/informatics/
Identifier
no value

authors

This resource has no history of related authors.

topics

about Category theory
v1 | attached by jjones | Add resource "Categorical informatics"

resources