Absolutely Free Algebras in a Topos Containing an Infinite Object
- 1 September 1976
- journal article
- Published by Canadian Mathematical Society in Canadian Mathematical Bulletin
- Vol. 19 (3) , 323-328
- https://doi.org/10.4153/cmb-1976-049-5
Abstract
This note confirms that the existence proof for absolutely free algebras originated by Dedekind in [2] and completely developed for instance in [4] can still be carried out in a topos containing an infinite object i.e. an object N for which N ≃ N+1 if the type of the algebras considered is finite, pointed and internally projective i.e. is a finite sequence of objects, (Ij)i≤j≤k for which the functors ( )Ij preserve epimorphisms and each of which has a global section.Keywords
This publication has 2 references indexed in Scilit:
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Eine Konstruktion absolut freier AlgebrenMathematische Annalen, 1965