Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: partial theory

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Adjointness between theories and strict theories

100%

Vogel H.-J.

Discussiones Mathematicae - General Algebra and Applications

2003

tom 23

nr 2

163-212

The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category forms even a monoid with unit element I and zero element O, then one has a strict partial theory. In this paper is shown that every J-sorted partial theory corresponds in a natural manner to a J-sorted strict partial theory via a strongly d-monoidal functor. Moreover, there is a pair of adjoint functors between the category of all J-sorted theories and the category of all corresponding J-sorted strict theories. This investigation needs an axiomatic characterization of the fundamental properties of the category Par of all partial function between arbitrary sets and this characterization leads to the concept of dhts- and dhth∇s-categories, respectively (see [5], [11], [13]).

Ograniczanie wyników

1 Discussiones Mathematicae - General Algebra and Applications

1 Vogel H.-J.

1 2003

Wyniki wyszukiwania

Adjointness between theories and strict theories