A Logical Analysis of Universal Properties
Logic
2022-02-15 v2
Abstract
A Universal Mapping Property is generally described as a characterization of an object up to a unique isomorphism by considering its relation to every other object; however, the term "by considering its relation to every other object" is not clearly or explicitly defined. In this paper, we will introduce such definition which will also generalize the idea of a universal property from a logical perspective.
Cite
@article{arxiv.2201.03075,
title = {A Logical Analysis of Universal Properties},
author = {Talal H. Alrawajfeh},
journal= {arXiv preprint arXiv:2201.03075},
year = {2022}
}