Generic figures and their glueings. A constructive approach to functor categories

MaRDI QIDQ5411256zbMATH OpenFDO

Authors M. La Palme Reyes, G. E. Reyes, H. Zolfaghari

Publication date 23 April 2014

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Topoi (18B25) Functor categories, comma categories (18A25)

Recommendations

• scientific article; zbMATH DE number 53544
• scientific article; zbMATH DE number 1092354
• Sheaves in geometry and logic: a first introduction to topos theory
• Basic Category Theory
• An introduction to category theory

Cited in

(11)

• Fast left Kan extensions using the chase
• scientific article; zbMATH DE number 7229466 (Why is no real title available?)
• Operadic modeling of dynamical systems: mathematics and computation
• A constructive sequence algebra for the calculus of indications
• Modes of adjointness
• Contextuality in distributed systems
• Cartesian double theories: a double-categorical framework for categorical doctrines
• A generic figures reconstruction of Peirce's existential graphs (alpha)
• A New Syntax for Diagrammatic Logic: A Generic Figures Approach
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha

This page was built for publication: Generic figures and their glueings. A constructive approach to functor categories

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