Examples of Para-cocyclic Objects Induced by BD-Laws
In a recent paper (Böhm and Stefan, Commun Math Phys 282:239–286, 2008), we gave a general construction of a para-cocyclic structure on a cosimplex, associated to a so called admissible septuple—consisting of two categories, three functors and two natural transformations, subject to compatibility relations. The main examples of such admissible septuples were induced by algebra homomorphisms. In this note we provide more general examples coming from appropriate (‘locally braided’) morphisms of monads.