Complicial structures in the nerves of omega-categories
Abstract: It is known that strict omega-categories are equivalent through the nerve functor to complicial sets and to sets with complicial identities. It follows that complicial sets are equivalent to sets with complicial identities. We discuss these equivalences. In particular we give a conceptual proof that the nerves of omega-categories are complicial sets, and a direct proof that complicial sets are sets with complicial identities.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.