We show that the extension types occurring in Riehl--Shulman's work on synthetic $(\infty,1)$-categories can be interpreted in the intended semantics in a way so that they are strictly stable under substitution. The splitting method used here is due to Voevodsky in 2009. It was later generalized by Lumsdaine--Warren to the method of local universes.
翻译：我们发现,Riehl-Shulman关于合成$(\ infty,1)-$($)类的研究中的扩展类型可以用预期的语义学来解释,这样它们就完全稳定地处于替代状态。 这里使用的分裂法是2009年Voevodsky的产物,后来Lumsdaine-Warren将其普遍化为当地宇宙的方法。
相关内容
iOS 8 提供的应用间和应用跟系统的功能交互特性。
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
- Today (iOS and OS X): widgets for the Today view of Notification Center
- Share (iOS and OS X): post content to web services or share content with others
- Actions (iOS and OS X): app extensions to view or manipulate inside another app
- Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
- Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
- Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
- Custom Keyboard (iOS): system-wide alternative keyboards
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
专知会员服务
45+阅读 · 2022年3月18日
专知会员服务
35+阅读 · 2019年10月17日
Arxiv
0+阅读 · 2022年6月27日
Arxiv
0+阅读 · 2022年6月24日
相关主题
相关VIP内容
专知会员服务
45+阅读 · 2022年3月18日
专知会员服务
35+阅读 · 2019年10月17日
相关资讯
微信扫码咨询专知VIP会员