Computational Category Theory - An implementation of concepts and constructions from category theory in the functional programming language Standard ML.

		Friday, 20 November, 2009
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Aeronautics and Aerospace

Agriculture

Anomalies and Alternative Science

Educational Resources

Instruments and Supplies

Math

Medical Science

Methods and Techniques

Category: Science » Math » Algebra » Category Theory

UPDATE URL | REPORT BROKEN LINK

Computational Category Theory

Popularity:

Hit: 366 | Visit: 19

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.
Category Theory and Homological Algebra (Popularity:

): In the "known maths" series.
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.
CT Category Theory (Popularity:

): Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, ...
Higher-Dimensional Categories (Popularity:

): An illustrated guide book by Eugenia Cheng and Aaron Lauda (PS/PDF).

Home | Submit Science Site | Add to Favorite | Privacy | Contact