Enriched concepts of regular logic
arxiv(2024)
摘要
Building on our previous work on enriched universal algebra, we define a
notion of enriched language consisting of function and relation symbols whose
arities are objects of the base of enrichment. In this context, we construct
atomic formulas and define the regular fragment of enriched logic by taking
conjunctions and existential quantifications of those. We then characterize
enriched categories of models of regular theories as enriched injectivity
classes in the enriched category of structures. These notions rely on the
choice of a factorization system on the base of enrichment which will be used
to interpret relation symbols and existential quantifications.
更多查看译文
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要