TY  - RPRT
TI  - A Logical Analysis of Universal Properties
AU  - Talal H. Alrawajfeh
PY  - 2022
UR  - https://arxiv.org/abs/2201.03075
ID  - 2201.03075
ER  -