Category Theory
|
Comcat
The Computational Category Theory Project The aim of this project is the development of software on a wide variety of platforms for computing with mathematical categories and associated algebraic structures. (There is a related Categorical Computation Project concerned with a categorical analysis of computers, computation and programming.) The groups currently connected with this project are: ...
|
| |
Events