Modern Algebraic Theories.
نویسندگان
چکیده
منابع مشابه
Algebraic theories
We presents the algebraic theories over an arbitrary monoid, main properties and calculus rules. Ordered, rationaly closed and ω-continuous theories on one hand and matrix and complete matrix theories on the other hand are the presentation main subjects. Some examples comming from algebra and computer science finish this paper.
متن کاملModern Theories of Development
"To observe and record for mankind" has long been the ideal of biologists and physicians. Noble as it may be, it ignores a fundamental requirement of all observation. Observation without knowledge is both futile and sterile; observation with knowledge is the stuff of science. It is clear that no observer then can know too much, yet there are in the field of biology innumerable workers who boast...
متن کاملMultiversal Polymorphic Algebraic Theories
We formalise and study the notion of polymorphic algebraic theory, as understood in the mathematical vernacular as a theory presented by equations between polymorphically-typed terms with both type and term variable binding. The prototypical example of a polymorphic algebraic theory is System F, but our framework applies more widely. The extra generality stems from a mathematical analysis that ...
متن کاملExtension of Algebraic Theories
The algebraic theories of Lawvere are extended in a natural way to small complete categories. These categories exhibit not only the operations and identities, but some of the homomorphisms, functions, objects and constructions which are encountered when working within the algebraic categories associated with the theories. The category of extended theories is isomorphic to the original category ...
متن کاملSecond-order algebraic theories
Fiore and Hur [10] recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the vie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The American Mathematical Monthly
سال: 1927
ISSN: 0002-9890
DOI: 10.2307/2299844