Science Central - All about Science

Thursday, 15 May, 2008
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Algebra » Category Theory UPDATE URL | REPORT BROKEN LINK

Computational Category Theory

 Popularity:    Hit: 122 | Visit: 0
Details
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.

Sponsored Links:


URL:
Title: Computational Category Theory
Description:

CCT
Category: David


Related sites
Category Theory (Popularity: ): This expository article is an entry in the Stanford Encyclopedia of Philosophy.
Categories, Quantization, and Much More (Popularity: ): Introductory article by John Baez.
The Computational Category Theory Project (Popularity: ): The aim of the project is the development of software on a wide variety of ...
Category Theory and Homological Algebra (Popularity: ): In the "known maths" series.
A Gentle Introduction to Category Theory (Popularity: ): Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular ...
Structures Directory (Popularity: ): Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics ...
Descent and Category Theory Connections (Popularity: ): Maintained by M. Alsani.
Open Problems on Model Categories (Popularity: ): Problems on model categories listed by Mark Hovey at Wesleyan University.
Categories Home Page (Popularity: ): Web page for the category theory mailing list.
Categorical Myths and Legends (Popularity: ): An archive of stories about category theorists.

© 2005-2007 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Contact