Hello @DavidTanzer,
Below are few diagraph representation. I have dropped an incoming arrow to terminal object.
Does below graph indicate a generalized element
digraph G {
subgraph clusterA {1}
subgraph clusterC {x}
subgraph clusterD {y}…
Hi @DavidTanzer
My understanding of terminal object is that there is an incoming arrow from all other object of the Category and initial object has an outgoing arrow to all other object of the category
But as per the definition of generalized elem…
@David Tanzer
What does a singleton set generalize to?
In terms of morphism, a generalized element for Y of Shape 1 will have "n" morphism from singleton category to every "n" object in category Y?
I have a query around "generalized element" or "probe". If we are discussing a small Set as a category, I could understand that there are could be multiple morphism (function) from set A to X to pick each element in X. But the Category theory is mor…