Bireflectivity

From MaRDI portal

Publication:1575886

Jump to:navigation, search

DOI10.1016/S0304-3975(98)00354-5zbMath0952.18002WikidataQ56687273 ScholiaQ56687273MaRDI QIDQ1575886

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

Publication date: 23 August 2000

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

zbMATH Keywords

coherence interference topos symmetric monoidal category presheaf category category of relations bireflectivity bireflection functors bireflective subcategories split-idempotents

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (4)

Ordinals in Frobenius monads ⋮ Frobenius monads and pseudomonoids ⋮ Angelic semantics of fine-grained concurrency ⋮ Categorical Models of Syntactic Control of Intereference Revisited, Revisited

This page was built for publication: Bireflectivity

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1575886&oldid=13858032"

Pages with script errors