VDict - Definition of category theory

search result for category theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

typed lambda-calculus relational algebra eta conversion evaluator Richard Hamming transitive closure metaheuristic Hamiltonian problem bottom-unique combinator Concrete Data Structure Actors quantum bogodynamics Discordianism Head Normal Form Cornell University greatest lower bound computability theory entropy Stephen Kleene tree Domain Analysis A. K. Erlang intuitionistic logic Liskov substitution principle head-strict Neutrosophy compact Management Information Base Turing Machine Ethernet partial ordering quantum computer dual axiomatic semantics fat electrons network management John von Neumann state transparent icon constructive Interest Group in Pure and Applied Logics abstract machine On-Line Analytical Processing linear type functional database chain model checking union Use the Source Luke delta reduction bit rot gedanken powerdomain games BIFF Intel 486SX Banach space type delta handwave wavelet polymorphism decidability candygrammar error detection and correction abstract interpretation V.FC algebraic data type Boolean algebra Lempel-Ziv Welch compression Eiffel George Boole Magic Switch Story HAKMEM Alan Turing race condition canonical European Computer-Industry Research Centre GmbH

First < Previous 1 2 3 4 Next > Last