Wild ω-semicategories

[fredrik-bakke]

• Define noncoherent $\omega$-semiprecategories
• The universal property of isomorphisms in $\omega$-semicategories
• Idempotent and neutral points of a $\omega$-semicategory