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

zbMATH Open1287.18001MaRDI QIDQ5411256FDOQ5411256

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

Publication date: 23 April 2014

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

Mathematics Subject Classification ID

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

Cited In (11)

• Fast left Kan extensions using the chase
• Title not available (Why is that?)
• Operadic modeling of dynamical systems: mathematics and computation
• A constructive sequence algebra for the calculus of indications
• Contextuality in distributed systems
• Modes of adjointness
• 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
• Title not available (Why is that?)
• 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)