A generalization and a new proof of Plotkin's reduction theorem

dc.creatorZhitomirski, Grigori
dc.date2003-09-01
dc.date.accessioned2026-07-07T05:00:44Z
dc.date.available2026-07-07T05:00:44Z
dc.descriptionIt is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories containing two special objects and in this case its proof becomes considerable more simple. This new proof and applications are the subject of the present paper.
dc.description6 pages
dc.identifierhttps://arxiv.org/abs/math/0309018
dc.identifierhttp://arxiv.org/abs/math/0309018
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/68431
dc.subjectCategory Theory
dc.subject18A99 (Primery) 08B20, 08A35 (Secondary)
dc.titleA generalization and a new proof of Plotkin's reduction theorem
dc.typetext

Files

Collections