On the twisted arrow construction in (infinity,1)-category theory:
Created on February 1, 2025 at 16:34:50. See the history of this page for a list of all contributions to it.