1 problem

0 votes0 replies1 view
Henry's conjecture on pushouts of non-unital computads
A non-unital computad is a computad without specified identity cells, and consider the pushouts that assemble such a computad from its generating cells. Henry's conjecture. These p…
Conjectureopencomputads higher-categories pushoutsarXiv posted 2 days ago

Henry's conjecture on pushouts of non-unital computads