A paracyclic (synonym: -cyclic) object in a category is a simplicial object together with a sequence of isomorphisms , , such that
where are boundaries, are degeneracies. If then the paracyclic object is cyclic.
For example, a paracyclic object in Set is a paracyclic set.
Revised on March 19, 2009 00:37:20
by Toby Bartels