Extended teisi in Ab
This talk extended my
talk `Teisi in Ab' at the
OctoberFest,
giving the details of extending the principal result, that
teisi in Ab are
-groupoids,
as far as possible. I proved that for an
-category in Ab,
an extra operation of arity a diagrammatic globular set
which has strict unit axioms is trivial. Thus, the principal result
also holds for normalized weak
-categories in Ab.
See section 6 of the paper ``Teisi in Ab''.
Previous and
next abstract.