# 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.