VDict - Definition of category theory

search result for category theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

block transfer computations GRG directed set minimal automaton Universal algebra type assignment Axiom of Choice closed term \sqsubseteq LAMBDA beta conversion pi-calculus Abstract Machine Notation monotonic CUCH boundedly complete COLD-K bottom F+L AGM Theory for Belief Revision distributive lattice disjoint union proof theory PROSE deterministic automaton Visual BASIC effective computable Ontic complete partial ordering compactness preserving reduction strategy Gottlob Frege low-bandwidth languages of choice complete ASL+syntax tree backward analysis Algebra of Communicating Processes Pari combination join Cornell Theory Center linear logic NIAL reflexive nondeterministic automaton B-Method Godzillagram decision problem Omega-algebraic plonk set complement discriminated union burn-in period 100BaseVG proof alpha conversion complete metric space Cinderella Book steganography operational semantics linear argument Institut National de Recherche en Informatique et Automatique Mu static analysis Bird-Meertens Formalism rdb Busy Beaver infinite automaton toy language Church of the SubGenius Basic Encoding Rules constructor GAP chromatic number black art least upper bound open/closed principle

First < Previous 1 2 3 4 Next > Last