On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra
zbMATH Open1402.08003MaRDI QIDQ2834122
J. Soliveres Tur, Juan Climent Vidal
Publication date: 25 November 2016
Published in: Houston Journal of Mathematics (Search for Journal in Brave)
ultraproductreduced productdirected colimiteventually consistent choice functionfamily of many-sorted algebras with constant supportfinitary quasiequational class of many-sorted algebrasquasiequational class of many-sorted algebrassupport of a many-sorted set
Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Quasivarieties (08C15) Products, amalgamated products, and other kinds of limits and colimits (08B25) Ultraproducts and related constructions (03C20) Heterogeneous algebras (08A68)
This page was built for publication: On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2834122)
