Type with module structure and its model of categorical logic

zbMATH Open1349.03006MaRDI QIDQ2991576FDOQ2991576

Authors: Weihong Xia, Jiangang Tang 

Publication date: 10 August 2016

Recommendations

• Model structures on categories of models of type theories
• scientific article; zbMATH DE number 7448277
• Modulets.
• Model theory in additive categories
• scientific article; zbMATH DE number 3946417

zbMATH Keywords

algebraic theoryleft \(R\)-modulelogical model

Mathematics Subject Classification ID

Other applications of logic (03B80) Categories and theories (18C99)

Cited In (4)

• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Modulets.
• A type system for higher-order modules
• Modular types in some supersimple theories

This page was built for publication: Type with module structure and its model of categorical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2991576)