VDict - Definition of category theory

search result for category theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

Xy-pic equational logic category theory set theory Zermelo Frankel set theory belief revision semantics complete theory CHARITY Array Theory lattice functor Zermelo set theory RJ-45 domain theory syntax directed translation axiomatic set theory denotational semantics CAYLEY ZFC grammar recursion theory Russell's Paradox pre-order decision theory embedding theory change bounded algebraic inclusive ideal pointed domain Axiom of Comprehension monad projection bondage-and-discipline language Unix conspiracy Z satisfiability problem sum coalesced sum UBASIC von Neumann ordinal Carl Friedrich Gauss domain Isabelle Category 5 Category 3 lifted domain 100BaseTX Finite State Machine Cat 5 Cat 3 cellular automaton Telecommunications Industry Association closure tourist information cardinality fuzzy logic platinum-iridium ZF expression ontology magic \perp axiom cybernetics monadic CTC automata theory computable predomain canonicity autoprojector CA exclamation mark FSM computron sticky analysis consistently complete

First < Previous 1 2 3 4 Next > Last