A Higher Structure Identity Principle.

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

Browse the full LICS paper archive.