On the generic solution to \(P(X)\cong X\) in distributive categories
From MaRDI portal
Publication:1380052
DOI10.1016/S0022-4049(96)00122-3zbMath0890.18005MaRDI QIDQ1380052
Publication date: 1 July 1998
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
An objective representation of the Gaussian integers ⋮ On analytic groupoid cardinality ⋮ On the generic solution to \(P(X)\cong X\) in distributive categories ⋮ Left and right adjoint operations on spaces and data types ⋮ Objects of categories as complex numbers
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Two-dimensional monad theory
- Introduction to extensive and distributive categories
- On the generic solution to \(P(X)\cong X\) in distributive categories
- Time bounded random access machines
- Seven trees in one
- Data types in distributive categories
- Categories and Computer Science
- An imperative language based on distributive categories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: On the generic solution to \(P(X)\cong X\) in distributive categories
