Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

From Wiki:

"In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets. This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as structure-preserving functions. Many important categories have obvious interpretations as concrete categories, for example the category of topological spaces and the category of groups, and trivially also the category of sets itself." http://en.wikipedia.org/wiki/Concrete_category

Question: Are applications of category theory in computer science based primarily on the use of concrete categories?

share|improve this question
2  
I don't think so. Anyway, all small categories can be made concrete. –  Berci Oct 10 '12 at 14:29
    
Chu spaces are more applicable to computer science, and according to Vaughan Pratt's Chu realizes all small concrete categories paper every small category (thus every concrete category) can be "turned into" a Chu space. –  Alex Nelson Oct 10 '12 at 16:25

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.