On the generic solution to P(X) X in distributive categories
A category \({\mathcal C}\) is distributive if it has finite products and sums such that the canonical morphisms \(X\times Y+ X\times Z\to X \times (Y+Z)\) are isomorphisms. The free distributive category on one generator is given. A polynomial \(P\) in one variable with natural number coefficients can be evaluated at any object \(X\) of the distributive category \({\mathcal C}\) and this value is denoted by \(P(X)\). A \(P\)-algebra in \({\mathcal C}\) is a pair \((X,s)\) of an object \(X\) in \({\mathcal C}\) and a morphism \(s: P(X) \to X\). It is rigid if \(s\) is an isomorphism. A classifying distributive category for \(P\)-algebras, and another one for rigid \(P\)-algebras are build up. For a class of polynomials, concrete descriptions of these categories are given, together with a concrete description of isomorphism classes of objects.
- An imperative language based on distributive categories
- Categories and Computer Science
- Data types in distributive categories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- scientific article; zbMATH DE number 19477 (Why is no real title available?)
- scientific article; zbMATH DE number 19501 (Why is no real title available?)
- scientific article; zbMATH DE number 3399453 (Why is no real title available?)
- Introduction to extensive and distributive categories
- On the generic solution to \(P(X)\cong X\) in distributive categories
- Seven trees in one
- Time bounded random access machines
- Two-dimensional monad theory
This page was built for publication: On the generic solution to \(P(X)\cong X\) in distributive categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380052)
