Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

Płonka adjunction

View through CrossRef
Abstract Let $\varSigma $ be a signature without $0$-ary operation symbols and $\textsf{Sl}$ the category of semilattices. Then, after defining and investigating the categories $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$, of inductive systems of $\varSigma $-algebras over all semilattices, which are ordered pairs $\boldsymbol{\mathscr{A}}= (\textbf{I},\mathscr{A})$ where $\textbf{I}$ is a semilattice and $\mathscr{A}$ an inductive system of $\varSigma $-algebras relative to $\textbf{I}$, and PłAlg$(\varSigma )$, of Płonka $\varSigma $-algebras, which are ordered pairs $(\textbf{A},D)$ where $\textbf{A}$ is a $\varSigma $-algebra and $D$ a Płonka operator for $\textbf{A}$, i.e. in the traditional terminology, a partition function for $\textbf{A}$, we prove the main result of the paper: There exists an adjunction, which we call the Płonka adjunction, from $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$ to PłAlg$(\varSigma )$.
Title: Płonka adjunction
Description:
Abstract Let $\varSigma $ be a signature without $0$-ary operation symbols and $\textsf{Sl}$ the category of semilattices.
Then, after defining and investigating the categories $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$, of inductive systems of $\varSigma $-algebras over all semilattices, which are ordered pairs $\boldsymbol{\mathscr{A}}= (\textbf{I},\mathscr{A})$ where $\textbf{I}$ is a semilattice and $\mathscr{A}$ an inductive system of $\varSigma $-algebras relative to $\textbf{I}$, and PłAlg$(\varSigma )$, of Płonka $\varSigma $-algebras, which are ordered pairs $(\textbf{A},D)$ where $\textbf{A}$ is a $\varSigma $-algebra and $D$ a Płonka operator for $\textbf{A}$, i.
e.
in the traditional terminology, a partition function for $\textbf{A}$, we prove the main result of the paper: There exists an adjunction, which we call the Płonka adjunction, from $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$ to PłAlg$(\varSigma )$.

Related Results

Causal Unfoldings and Disjunctive Causes
Causal Unfoldings and Disjunctive Causes
In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to ...
“Coveting the Manor” — the feud between Father Józef Dembiński and Krystyna Wilkońska née Dembińska in 1758—1772
“Coveting the Manor” — the feud between Father Józef Dembiński and Krystyna Wilkońska née Dembińska in 1758—1772
In 1758, Krystyna née Dembińska of Rawicz coat of arms, widowed by Kazimierz Wilkoński, of Odrowąż coat of arms, the Standard Bearer of Zator and Oświęcim, presented on the persona...
Tardenoisian concept in Polish Mesolithic studies
Tardenoisian concept in Polish Mesolithic studies
The evolution of the concept of the Tardenoisian in Polish Mesolithic studies visibly falls into three phases, dating approximately to 1900-1970, 1971-1990, 1991-2016. In the first...
Pure Variable Inclusion Logics
Pure Variable Inclusion Logics
The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the con...
Testamenty mieszczan bocheńskich (XVI-XVII wiek)
Testamenty mieszczan bocheńskich (XVI-XVII wiek)
A will carries substantial amounts of information about the life of the person who wrote it, dictated it or accepted the existing form. In this work, the last will is presented as ...
Mapping Extension of an Algebra
Mapping Extension of an Algebra
A new construction of algebras called a mapping extension of an algebra is here introduced. The construction yields a generalization of some classical constructions such as the nil...
Jan Jerzyczek – a resident painter of the Calvary complex in Kalwaria Zebrzydowska
Jan Jerzyczek – a resident painter of the Calvary complex in Kalwaria Zebrzydowska
The art of resident monastic painter Jan Jerzyczek (1788-1842) is paradoxical, as his technical skills and painting technique were categories as folk art even though the artist him...
Functoriality of the Schmidt Construction
Functoriality of the Schmidt Construction
After proving, in a purely categorial way, that the inclusion functor InAlg(Σ) from Alg(Σ), the category of many-sorted Σ-algebras, to PAlg(&Sigma...

Back to Top