Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Chanavat, Clémence"'
Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are diagrammatic sets
Externí odkaz:
http://arxiv.org/abs/2410.19053
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the expected prope
Externí odkaz:
http://arxiv.org/abs/2410.00123
Diagrammatic sets are presheaves on a rich category of shapes, whose definition is motivated by combinatorial topology and higher-dimensional diagram rewriting. These shapes include representatives of oriented simplices, cubes, and positive opetopes,
Externí odkaz:
http://arxiv.org/abs/2407.06285