2000 character limit reached
Theory Presentation Combinators (1204.0053v2)
Published 31 Mar 2012 in cs.MS, cs.SC, and math.CT
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.