<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>     caa a22        4500</leader>
  <controlfield tag="001">445378689</controlfield>
  <controlfield tag="003">CHVBK</controlfield>
  <controlfield tag="005">20180317143011.0</controlfield>
  <controlfield tag="007">cr unu---uuuuu</controlfield>
  <controlfield tag="008">170323e20110201xx      s     000 0 eng  </controlfield>
  <datafield tag="024" ind1="7" ind2="0">
   <subfield code="a">10.1007/s10485-009-9192-5</subfield>
   <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(NATIONALLICENCE)springer-10.1007/s10485-009-9192-5</subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="0">
   <subfield code="a">Split Short Five Lemma for Clots and Subtractive Categories</subfield>
   <subfield code="h">[Elektronische Daten]</subfield>
   <subfield code="c">[Zurab Janelidze, Aldo Ursini]</subfield>
  </datafield>
  <datafield tag="520" ind1="3" ind2=" ">
   <subfield code="a">It is well-known that a pointed variety is classically ideal determined (or &quot;BIT speciale”) if and only if it satisfies the split short five lemma (i.e.if and only if it is a protomodular category in the sense of D.Bourn). A much weaker property than being classically ideal determined is &quot;subtractivity”, defined as follows: a variety with a constant 0 is said to be subtractive if its theory contains a binary term s satisfying s(x,x) = 0 and s(x,0) = x. In the case of a pointed variety (i.e.when 0 is the unique constant), this condition can be reformulated purely categorically (as many other similar term conditions), which gives rise to the notion of a subtractive category. In the present paper we show that in a certain general categorical context subtractivity is equivalent to a special restriction of the split short five lemma to the class of clots, i.e.monomorphisms that are pullbacks of reflexive relations R→Y×Y along product injections (1Y,0): Y→Y×Y.</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
   <subfield code="a">Springer Science+Business Media B.V., 2009</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Subtractive category</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Subtractive variety</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Split short five lemma</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Clot</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Classically ideal determined variety</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">0-coherent variety</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Protomodular category</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Semi-abelian category</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Homological category</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Janelidze</subfield>
   <subfield code="D">Zurab</subfield>
   <subfield code="u">Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, 7602, Matieland, South Africa</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Ursini</subfield>
   <subfield code="D">Aldo</subfield>
   <subfield code="u">Dipartimento di Scienze Matematiche ed Informatiche, Universita' di Siena, Pian dei Mantellini 44, 53100, Siena, Italy</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="773" ind1="0" ind2=" ">
   <subfield code="t">Applied Categorical Structures</subfield>
   <subfield code="d">Springer Netherlands</subfield>
   <subfield code="g">19/1(2011-02-01), 233-255</subfield>
   <subfield code="x">0927-2852</subfield>
   <subfield code="q">19:1&lt;233</subfield>
   <subfield code="1">2011</subfield>
   <subfield code="2">19</subfield>
   <subfield code="o">10485</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="0">
   <subfield code="u">https://doi.org/10.1007/s10485-009-9192-5</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="908" ind1=" " ind2=" ">
   <subfield code="D">1</subfield>
   <subfield code="a">research-article</subfield>
   <subfield code="2">jats</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">856</subfield>
   <subfield code="E">40</subfield>
   <subfield code="u">https://doi.org/10.1007/s10485-009-9192-5</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Janelidze</subfield>
   <subfield code="D">Zurab</subfield>
   <subfield code="u">Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, 7602, Matieland, South Africa</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Ursini</subfield>
   <subfield code="D">Aldo</subfield>
   <subfield code="u">Dipartimento di Scienze Matematiche ed Informatiche, Universita' di Siena, Pian dei Mantellini 44, 53100, Siena, Italy</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">773</subfield>
   <subfield code="E">0-</subfield>
   <subfield code="t">Applied Categorical Structures</subfield>
   <subfield code="d">Springer Netherlands</subfield>
   <subfield code="g">19/1(2011-02-01), 233-255</subfield>
   <subfield code="x">0927-2852</subfield>
   <subfield code="q">19:1&lt;233</subfield>
   <subfield code="1">2011</subfield>
   <subfield code="2">19</subfield>
   <subfield code="o">10485</subfield>
  </datafield>
  <datafield tag="900" ind1=" " ind2="7">
   <subfield code="a">Metadata rights reserved</subfield>
   <subfield code="b">Springer special CC-BY-NC licence</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="898" ind1=" " ind2=" ">
   <subfield code="a">BK010053</subfield>
   <subfield code="b">XK010053</subfield>
   <subfield code="c">XK010000</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="F">NATIONALLICENCE</subfield>
   <subfield code="b">NL-springer</subfield>
  </datafield>
 </record>
</collection>
