论文标题
富含量子的多牙的注入性船体
Injective Hulls of Quantale-Enriched Multicategories
论文作者
论文摘要
在这种交流中，我们将Rump的一些最新结果推广到富含交换量化V的类别。使用这些结果，我们表明每个富含量子的多甲状腺均具有注射式船体。最后，我们暴露了Isbell辅助与Banaschewski在1973年建立的拓扑空间的构造之间的联系。
In this communication we generalize some recent results of Rump to categories enriched in a commutative quantale V. Using these results, we show that every quantale-enriched multicategory admits an injective hull. Finally, we expose a connection between the Isbell adjunction and the construction of injective hulls for topological spaces made by Banaschewski in 1973.
