A Logical Analysis of Universal Properties

TL;DR

This paper provides a formal logical definition of universal mapping properties, clarifying their conceptual basis and generalizing their application within a logical framework.

Contribution

It introduces a precise logical definition of universal properties, enhancing understanding and broadening their theoretical foundation.

Findings

Defines universal mapping property logically

Generalizes the concept across different contexts

Clarifies the relation-based characterization

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.