| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4951971 | Theoretical Computer Science | 2017 | 26 Pages |
Abstract
Additionally, our system resolves a subtle incompatibility between theory morphisms and model morphisms: the semantics that maps theories to model categories is functorial. While this result is standard in principle, previous formulations had to restrict the allowed theory morphisms or the allowed model morphisms. Our system allows establishing the result in full generality.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Florian Rabe,