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

coherenceinterferencesymmetric monoidal categorytopospresheaf categorycategory of relationsbireflectivitybireflection functorsbireflective subcategoriessplit-idempotents

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) 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) Natural morphisms, dinatural morphisms (18A23)

Recommendations

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

Cited in

(11)

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

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)