Difference between revisions of "Universal property"
| Line 1: | Line 1: | ||
{{WikiEntry|key=Universal property|qCode=1417809}}, also known as [[Universal construction]], is | {{WikiEntry|key=Universal property|qCode=1417809}}, also known as [[Universal construction]], is a crucial concept pervasive in the literature of [[Category Theory]]. This concept, or the thesis of [[Category Theory]], offered a very different approach to organize knowledge. According to [[blargoner]]<ref>{{:Video/Category Theory Part 3 of 3: Universal Properties}}</ref>: | ||
A universal property characterizes an object in a category, in an essentially unique way, in terms of its relation to other objects through arrows. | |||
The statement shown above used a critical term, [[unique]]. It implies that all things, all phenomenon, if they were to be characterized uniquely, the unique way can be determined by the relation of the object to all other things<ref>See [[Yoneda lemma]]</ref>. | |||
This implication portrait a single, generalized relational mechanisms to define properties of individual things. All things can be characterized through relations with other things. This relationally-based approach means that you don't need to study anything else, unique properties of every individual can be universally represented using nothing but relations. All properties are just variants or descendants of this relational [[universal construct]]. [[wikipedia:John Henry Newman|Saint John Henry Newman]] who argued for all knowledge, including theology must be taught in a university, may have thought about the following logical argument, too. | |||
If all things are descendants from a certain universal construct, religions must be derived from such construct. | If all things are descendants from a certain universal construct, religions must be derived from such construct. | ||
The notion of utilizing [[universal construct]] to bridge understanding between different domain knowledge has been explicitly articulated by [[Olivia Caramello]]. She has several videos on this subject by Olivia Caramello<ref>{{:Video/Unification and morphogenesis}}</ref><ref>{{:Video/The idea of 'bridge' and its unifying role}}</ref><ref>{{:Book/Political Numeracy}}</ref>. | The notion of utilizing [[universal construct]] to bridge understanding between different domain knowledge has been explicitly articulated by [[Olivia Caramello]]. She has several videos on this subject by Olivia Caramello<ref>{{:Video/Unification and morphogenesis}}</ref><ref>{{:Video/The idea of 'bridge' and its unifying role}}</ref><ref>{{:Book/Political Numeracy}}</ref>. | ||
Revision as of 13:13, 22 March 2022
Universal property(Q1417809), also known as Universal construction, is a crucial concept pervasive in the literature of Category Theory. This concept, or the thesis of Category Theory, offered a very different approach to organize knowledge. According to blargoner[1]:
A universal property characterizes an object in a category, in an essentially unique way, in terms of its relation to other objects through arrows.
The statement shown above used a critical term, unique. It implies that all things, all phenomenon, if they were to be characterized uniquely, the unique way can be determined by the relation of the object to all other things[2].
This implication portrait a single, generalized relational mechanisms to define properties of individual things. All things can be characterized through relations with other things. This relationally-based approach means that you don't need to study anything else, unique properties of every individual can be universally represented using nothing but relations. All properties are just variants or descendants of this relational universal construct. Saint John Henry Newman who argued for all knowledge, including theology must be taught in a university, may have thought about the following logical argument, too.
If all things are descendants from a certain universal construct, religions must be derived from such construct.
The notion of utilizing universal construct to bridge understanding between different domain knowledge has been explicitly articulated by Olivia Caramello. She has several videos on this subject by Olivia Caramello[3][4][5].
There are a few videos[6][7][8] on Universal Properties.
References
- ↑ Peloquin, John (Jun 15, 2020). Category Theory Part 3 of 3: Universal Properties. local page: blargoner.
- ↑ See Yoneda lemma
- ↑ Caramello, Olivia (May 24, 2021). Unification and morphogenesis : a topos-theoretic perspective. local page: Institut des Hautes Études Scientifiques.
- ↑ Caramello, Olivia (Dec 1, 2018). The idea of 'bridge' and its unifying role. local page: TEDxLakeComo.
- ↑ Meyerson, Michael (2002). Political numeracy : mathematical perspectives on our chaotic constitution. local page: Norton Publisher. ISBN 0393323722.
- ↑ Peloquin, John (Jun 15, 2020). Category Theory Part 3 of 3: Universal Properties. local page: blargoner.
- ↑ Tubbenhauer, Daniel (Jan 12, 2022). What are...universal properties?. local page: VisualMath.
- ↑ Forsberg, Fredrik Nordvall (Jan 12, 2022). Universal properties. local page: Fredrik Nordvall Forsberg.