Tag:Category-theory
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
math programming mathematics theory category categorytheory generics philosophy algebra generic cs maths haskell article monad development type_theory monads logic java categories category_theory science type interesting wp order cpp compsci education computer-science ai cats computer_science transformation categorization russell seattle-sicp typetheory wirelessirc types church #geocaching.fi pugs linguistics programming_language c++ concepts .net type_system cs" dev generic-programming database concept-programming paradigm metaclass grammar java-. parameterized%2Btypes programming-terms genericprogramming polymorphism java-.net lattice universal-algebra | study universal todescribe algebraicity equational-theory operator sah_war's_picks category.theory computation abstract-nonsense 15112006 step cat abstract-algebra abstract (?) functional-programming functor lambda sieni type-theory read research hobby chu-space hasse-diagram equations lime!!! triple settheory
Articles
- Category theory (5)math theory wikipedia category mathematics categorytheory philosophy programming maths category-theory article science wiki cs category_theory algebra categories monads computer-science education compsci ai cats computation computer_science category.theory abstract-nonsense 15112006 cat categorization
- Universal algebra (1)
- Monad (category theory) (1)
- Type theory (1)
- Generic programming (1)programming generics generic development reference java cs haskell article wikipedia wiki cpp java-.net java-. grammar metaclass parameterized%2Btypes programming-terms polymorphism genericprogramming paradigm category-theory concept-programming c++ .net concepts cs" dev database generic-programming
Retrieved from "http://en.wikipedia.org/wiki/Tag:Category-theory"
