Strict $ω$ -categories are monadic over polygraphs

preprint2016arXivOpen access

We give a direct proof that the category of strict $ω$ -categories is monadic over the category of polygraphs.

Explore this paper’s authors, topics and related work.

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Write a reviewWrite

No reviews yet.

Add a commentWrite

No comments yet.

Abstract