Effective codescent morphisms in some varieties of universal algebras
classification
🧮 math.CT
math.LO
keywords
codescenteffectivemorphismsalgebrasuniversalamalgamationconditionform
read the original abstract
The paper gives the sufficient condition formulated in the syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of quasigroups are effective.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.