Geodesic
The theory of core algebras: its completeness
Theory and applications of categories, Tome 18 (2007), pp. 303-320

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

The core of a category (first defined in ``Core algebra revisited'' Theoretical Computer Science, Vol 375, Issues 1-3, pp 193-200) has the structure of an abstract core algebra (first defined in the same place). A question was left open: is there more structure yet to be defined? The answer is no: it is shown that any operation on an object arising from the fact that the object is the core of its category can be defined using only the constant and two binary operations that appear in the definition of abstract core algebra. In the process a number of facts about abstract core algebras must be developed.

Classification : 18A40
Keywords: core, cored category, abstract core algebra, critical lemma, no-lost-variables, base cancellation 
@article{TAC_2007_18_a10,
     author = {Peter Freyd},
     title = {The theory of core algebras: its completeness},
     journal = {Theory and applications of categories},
     pages = {303--320},
     publisher = {mathdoc},
     volume = {18},
     year = {2007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2007_18_a10/}
}
TY  - JOUR
AU  - Peter Freyd
TI  - The theory of core algebras: its completeness
JO  - Theory and applications of categories
PY  - 2007
SP  - 303
EP  - 320
VL  - 18
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2007_18_a10/
LA  - en
ID  - TAC_2007_18_a10
ER  - 
%0 Journal Article
%A Peter Freyd
%T The theory of core algebras: its completeness
%J Theory and applications of categories
%D 2007
%P 303-320
%V 18
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2007_18_a10/
%G en
%F TAC_2007_18_a10
Peter Freyd. The theory of core algebras: its completeness. Theory and applications of categories, Tome 18 (2007), pp. 303-320. http://geodesic.mathdoc.fr/item/TAC_2007_18_a10/