term functor
Смотреть что такое "term functor" в других словарях:
Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… … Wikipedia
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Derived functor — In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Contents 1 Motivation 2 Construction… … Wikipedia
Tor functor — In higher mathematics, the Tor functors of homological algebra are the derived functors of the tensor product functor. They were first defined in generality to express the Künneth theorem and universal coefficient theorem in algebraic… … Wikipedia
Function object — A function object, also called a functor or functional, is a computer programming construct allowing an object to be invoked or called as if it were an ordinary function, usually with the same syntax.Function objects are unrelated to functors in… … Wikipedia
Begriffslogik — oder terminologische Logik (englisch terminological logic oder term logic), auch Termlogik oder traditionelle Logik, manchmal klassische Logik genannt („klassisch“ als historischer Begriff im Sinn von: Logik der Antike, nicht zu verwechseln… … Deutsch Wikipedia
Traditionelle Logik — Begriffslogik oder terminologische Logik (englisch: terminological logic oder term logic), auch traditionelle Logik, manchmal klassische Logik genannt („klassisch“ als historischer Begriff im Sinn von: Logik der Antike, nicht zu verwechseln mit… … Deutsch Wikipedia
Comma category — In mathematics, a comma category (a special case being a slice category) is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects of a category to one another, morphisms become… … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
