{ "id": "1811.03698", "version": "v1", "published": "2018-11-08T22:35:10.000Z", "updated": "2018-11-08T22:35:10.000Z", "title": "On the free frontal implicative semilattice extension of a frontal Hilbert algebra", "authors": [ "Ramon Jansana", "Hernan Javier San Martin" ], "categories": [ "math.LO" ], "abstract": "In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the forgetful functor from the category of frontal implicative semilattices to that of frontal Hilbert algebras.", "revisions": [ { "version": "v1", "updated": "2018-11-08T22:35:10.000Z" } ], "analyses": { "keywords": [ "free frontal implicative semilattice extension", "frontal hilbert algebra", "algebraic category", "left adjoint" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable" } } }