On the generic solution to \(P(X)\cong X\) in distributive categories (Q1380052): Difference between revisions
From MaRDI portal
Latest revision as of 11:15, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the generic solution to \(P(X)\cong X\) in distributive categories |
scientific article |
Statements
On the generic solution to \(P(X)\cong X\) in distributive categories (English)
0 references
1 July 1998
0 references
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.
0 references
\(P\)-algebras
0 references
generic polynomial
0 references
distributive category
0 references