Misplaced Pages

Cyclic category

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (June 2021) (Learn how and when to remove this message)

In mathematics, the cyclic category or cycle category or category of cycles is a category of finite cyclically ordered sets and degree-1 maps between them. It was introduced by Connes (1983).

Definition

The cyclic category Λ has one object Λn for each natural number n = 0, 1, 2, ...

The morphisms from Λm to Λn are represented by increasing functions f from the integers to the integers, such that f(x+m+1) = f(x)+n+1, where two functions f and g represent the same morphism when their difference is divisible by n+1.

Informally, the morphisms from Λm to Λn can be thought of as maps of (oriented) necklaces with m+1 and n+1 beads. More precisely, the morphisms can be identified with homotopy classes of degree 1 increasing maps from S to itself that map the subgroup Z/(m+1)Z to Z/(n+1)Z.

Properties

The number of morphisms from Λm to Λn is (m+n+1)!/m!n!.

The cyclic category is self dual.

The classifying space BΛ of the cyclic category is a classifying space BSof the circle group S.

Cyclic sets

A cyclic set is a contravariant functor from the cyclic category to sets. More generally a cyclic object in a category C is a contravariant functor from the cyclic category to C.

See also

References

External links

Categories: