DM-GAA

ISSN 1509-9415 (print version)

ISSN 2084-0373 (electronic version)

https://doi.org/10.7151/dmgaa

Discussiones Mathematicae - General Algebra and Applications

Cite Score: 0.4

SJR: 0.203

SNIP: 0.562

MCQ: 0.12

Index Copernicus: 121.02

Discussiones Mathematicae - General Algebra and Applications

PDF

Discussiones Mathematicae General Algebra and Applications 23(2) (2003) 163-212
DOI: https://doi.org/10.7151/dmgaa.1071

ADJOINTNESS BETWEEN THEORIES AND STRICT THEORIES

Hans-Jürgen Vogel

Institute of Mathematics, University of Potsdam
PF 60 15 53, D-14415 Potsdam, Germany
e-mail: vogel@rz.uni-potsdam.de
         hans-juergen.vogel@freenet.de

Dedicated to Prof. Dr. habil. Klaus Denecke on the occasion of his 60th birthday

Abstract

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]).

Keywords: symmetric monoidal category, dhts-category, partial theory, adjoint functor.

2000 Mathematics Subject Classification: 18D10, 18D20, 18D99, 18A25, 08A55, 08C05, 08A02.

References

[1]G. Birkhoff and J.D. Lipson, Heterogeneous algebras, J. Combinat. Theory 8 (1970), 115-133.
[2]L. Budach and H.-J. Hoehnke, Automaten und Funktoren, Akademie Verlag, Berlin 1975 (the part: ``Allgemeine Algebra der Automaten", by H.-J. Hoehnke).
[3]S. Eilenberg and G.M. Kelly, Closed categories, pp. 421-562 in: Proc. Conf. Categorical Algebra (La Jolla, 1965), Springer, New York 1966.
[4]P.J. Higgins, Algebras with a scheme of operators, Math. Nachr. 27 (1963), 115-132.
[5]H.-J. Hoehnke, On partial algebras, p. 373-412 in: Colloq. Soc. J. Bolyai, Vol. 29, ``Universal Algebra; Esztergom (Hungary) 1977", North-Holland, Amsterdam, 1981.
[6]G.M. Kelly, On MacLane's conditions for coherence of natural associativities, commutativities, etc., J. Algebra 4 (1964), 397-402.
[7]G.M. Kelly and S. MacLane, Coherence in closed categories, + Erratum, Pure Appl. Algebra 1 (1971), 97-140, 219.
[8]F.W. Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 869-872.
[9]S. MacLane, Natural associativity and commutativity, Rice Univ. Studies 49 (1963), no. 4, 28-46.
[10]J. Schreckenberger, Über die zu monoidalen Kategorien adjungierten Kronecker-Kategorien, Dissertation (A), Päd. Hochschule, Potsdam 1978.
[11]J. Schreckenberger, Über die Einbettung von dht-symmetrischen Kategorien in die Kategorie der partiellen Abbildungen zwischen Mengen, Preprint P-12/80, Zentralinst. f. Math., Akad. d. Wiss. d. DDR, Berlin 1980.
[12]J. Schreckenberger, Zur Theorie der dht-symmetrischen Kategorien, Disseration (B), Päd. Hochschule Potsdam, Math.-Naturwiss. Fak., Potsdam 1984.
[13]H.-J. Vogel, Eine kategorientheoretische Sprache zur Beschreibung von Birkhoff-Algebren, Report R-Math-06/84, Inst. f. Math., Akad. d. Wiss. d. DDR, Berlin 1984.
[14]H.-J. Vogel, On functors between dht∇ -symmetric categories, Discuss. Math.-Algebra & Stochastic Methods, 18 (1998), 131-147.
[15]H.-J. Vogel, On properties of dht∇ -symmetric categories, Contributions to General Algebra 11 (1999), 211-223.

Received 25 July 2003
Revised 21 October, 2003


Close