We introduce a new bicategorical model of linear logic based on profunctors between groupoids. This model is a new variation of the usual bicategory of profunctors, obtained by endowing groupoids with additional structure to constrain the profunctors. One goal of this new model is to provide a formal bridge between the model of finitary polynomial functors, also known as normal functors, and the combinatorial theory of generalized species of structures. Our approach consists in viewing finitary polynomial functors as analytic functors generated by free generalized species. The main conceptual novelty is the notion of kit, designed to control the extent to which species are free. We study kits from both combinatorial and logical perspectives. Profunctors that respect the kit structure are called stabilized, and the bicategory of stabilized profunctors gives rise to stable species of structures, a cartesian closed bicategory that embeds finitary polynomial functors. Stabilized profunctors and stable species can be given an extensional presentation as certain functors between subcategories of presheaves determined by the kit. This gives a strict 2-categorical presentation of the same model.


翻译:我们引入了一种新的双分类线性逻辑新模型, 其基础是群类之间的分辨。 这个模型是常见的双类分辨线性逻辑的新变异, 由使用附加结构来限制分辨的分解器获得。 这个新模型的一个目标是提供一个正式的桥梁, 连接有鳍的多胞菌杀菌者的模式, 也称为普通杀菌者, 和结构的通用物种组合理论。 我们的方法包括将有鳍的多胞胎杀菌者作为自由的通用物种产生的解析性杀菌者。 主要的理论创新是包的概念, 旨在控制物种自由的程度。 我们从组合和逻辑角度研究包包。 尊重包结构的教授被称作稳定, 稳定的活菌者两类产生稳定的结构物种种类。 一种卡提亚类封闭型双类, 嵌入有鳍的多胞胎真菌类。 稳定的前导体和稳定的物种的组合体概念性新概念概念是用来控制物种自由的范围。 我们从组合和逻辑角度研究包体结构结构结构的包件, 被确定为一种固定的分级的分级的分体。 。</s>

0
下载
关闭预览

相关内容

ACM/IEEE第23届模型驱动工程语言和系统国际会议,是模型驱动软件和系统工程的首要会议系列,由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来,模型涵盖了建模的各个方面,从语言和方法到工具和应用程序。模特的参加者来自不同的背景,包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛,参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会,并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。 官网链接:http://www.modelsconference.org/
不可错过!《机器学习100讲》课程,UBC Mark Schmidt讲授
专知会员服务
72+阅读 · 2022年6月28日
专知会员服务
42+阅读 · 2020年12月18日
强化学习最新教程,17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【论文】变分推断(Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2023年4月27日
Arxiv
0+阅读 · 2023年4月26日
VIP会员
相关资讯
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【论文】变分推断(Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员