Bireflectivity

DOI10.1016/S0304-3975(98)00354-5MaRDI QIDQ1575886zbMATH OpenWikidataFDO

Authors Peter W. O'Hearn, Peter J. Freyd, John Power, Makoto Takeyama, Ross H. Street

Publication date 23 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(98)00354-5

zbMATH Keywords

bireflection functorsbireflective subcategoriesbireflectivitycategory of relationscoherenceinterferencepresheaf categorysplit-idempotentssymmetric monoidal categorytopos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Natural morphisms, dinatural morphisms (18A23) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Categorical semantics of formal languages (18C50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1231457
• Reflective subcategories
• On characterization of reflection and coreflection in categories

Cited in

(13)

• Ordinals in Frobenius monads
• Angelic semantics of fine-grained concurrency
• Categorical models of syntactic control of intereference revisited, revisited
• Baire reflection
• scientific article; zbMATH DE number 1231457 (Why is no real title available?)
• Frobenius monads and pseudomonoids
• scientific article; zbMATH DE number 862366 (Why is no real title available?)
• Semiseparable functors and conditions up to retracts
• Reflection (backscattering)
• The quantum monadology
• On (naturally) semifull and (semi)separable semifunctors
• Semiseparability of induction functors in a monoidal category
• Pro-reflective subcategories

This page was built for publication: Bireflectivity

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