Type with module structure and its model of categorical logic

MaRDI QIDQ2991576zbMATH OpenFDO

Authors Weihong Xia, Jiangang Tang

Publication date 10 August 2016

zbMATH Keywords

algebraic theoryleft \(R\)-modulelogical model

Mathematics Subject Classification ID

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

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

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)