Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-29T17:15:46.708Z Has data issue: false hasContentIssue false

Free Finitary Algebras in a Cocomplete Cartesian Closed Category

Published online by Cambridge University Press:  20 November 2018

C. Howlett
Affiliation:
McMaster University, Hamilton, Ontario
D. Schumacher
Affiliation:
McMaster University, Hamilton, Ontario
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In [2] Volger proved that the underlying functor of a category of set-valued models of an r-ary theory has a left adjoint. We want to show that his proof remains valid if instead of set valued models of an r-ary theory models of a finitary theory with values in an arbitrary cocomplete cartesian closed category are considered. As Volger for sets we show for any cocomplete cartesian closed category T C that for every finitary theory (S being a skeleton of the full subcategory of finite sets) the restriction of the left adjoint of on C(s) is a functor in ; here brackets around the exponent indicate as usual a restriction to functors which preserve finite products. We are very much indebted to the referee for pointing out that our proof of the last statement is only based on the properties of C mentioned above and the fact that S has and T preserves finite products. With this in mind and retaining only that part of the cartesian closedness which is relevant for the following considerations we can state the following.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1972

References

1. Berthiaume, P., The functor evaluation, Lecture Notes in Math. 106, Springer-Verlag, New York, 1969.Google Scholar
2. Volger, H., Über die Existenz vonfreien Algebren, Math. Z. 106(1968), 312-320.Google Scholar