Theory Presentation Combinators
classification
💻 cs.MS
cs.SCmath.CT
keywords
combinatorspresentationtheoryblocksbuildingcategoriescategorycontexts
read the original abstract
We motivate and give semantics to theory presentation combinators as the foundational building blocks for a scalable library of theories. The key observation is that the category of contexts and fibered categories are the ideal theoretical tools for this purpose.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.