Connections With Category Theory
The above composition of partial transformations of a set gives rise to a symmetric inverse semigroup. There is another way of composing partial transformations, which is more restrictive than that used above: two partial transformations α and β are composed if, and only if, the image of α is equal to the domain of β; otherwise, the composition αβ is undefined. Under this alternative composition, the collection of all partial one-one transformations of a set forms not an inverse semigroup but an inductive groupoid, in the sense of category theory. This close connection between inverse semigroups and inductive groupoids is embodied in the Ehresmann-Schein-Nambooripad Theorem, which states that an inductive groupoid can always be constructed from an inverse semigroup, and conversely. More precisely, an inverse semigroup is precisely a groupoid in the category of posets which is an etale groupoid with respect to its (dual) Alexandrov topology and whose poset of objects is a meet-semilattice.
Read more about this topic: Inverse Semigroup
Famous quotes containing the words connections with, connections, category and/or theory:
“Growing up human is uniquely a matter of social relations rather than biology. What we learn from connections within the family takes the place of instincts that program the behavior of animals; which raises the question, how good are these connections?”
—Elizabeth Janeway (b. 1913)
“The quickness with which all the stuff from childhood can reduce adult siblings to kids again underscores the strong and complex connections between brothers and sisters.... It doesnt seem to matter how much time has elapsed or how far weve traveled. Our brothers and sisters bring us face to face with our former selves and remind us how intricately bound up we are in each others lives.”
—Jane Mersky Leder (20th century)
“The truth is, no matter how trying they become, babies two and under dont have the ability to make moral choices, so they cant be bad. That category only exists in the adult mind.”
—Anne Cassidy (20th century)
“Everything to which we concede existence is a posit from the standpoint of a description of the theory-building process, and simultaneously real from the standpoint of the theory that is being built. Nor let us look down on the standpoint of the theory as make-believe; for we can never do better than occupy the standpoint of some theory or other, the best we can muster at the time.”
—Willard Van Orman Quine (b. 1908)