Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Renaming page to “twisted arrow construction” and adding reference
Anonymouse
moving the material about the twisted arrow construction for Segal spaces to twisted arrow (∞,1)-category and leaving this page for the modality in simplicial type theory, hence renaming this page back to the original title
Anonymouse
1 to 3 of 3