Python Courses: Isomorphisms

1. Isomorphism between objects

$somorphisms A morphism f : A \to B in a category is said to be an isomorphism if there is a morphism g : A \to B in the category with gf = 1_A, fg = 1_B. It is easy to prove that g is then uniquely determined by f. The morphism g is called the inverse of f, written g = f^{-1}. It follows that f = g^{-1}. If there is an isomorphism from A to B, we say A is isomorphic to B, and it is easy to prove that "isomorphism" is an equivalence relation on the objects of the category. Examples A function from A to B in the category of sets is an isomorphism if and only if it is bijective. A homomorphism of groups is an isomorphism if and only if it is bijective. The isomorphisms of the category of topological spaces and continuous maps are the homeomorphisms. In contrast to the preceding example, a bijective continuous map from one topological space to another need not be a homeomorphism because its inverse (as a set function) may not be continuous. An example is the identity map on the set of real numbers, with the domain having the discrete topology and the codomain having the usual topology. Monomorphisms and Epimorphisms A morphism f in a category \mathcal{C} is a monomorphism if, for any morphisms g and h, if fg and fh are defined and fg = fh then g = h. A morphism f in a category \mathcal{C} is an epimorphism if, for any morphisms g and h, if gf and hf are defined and gf = hf then$

2. Goupoïdes

In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a: Group with a partial function replacing the binary operation; Category in which every morphism is invertible. A category of this sort can be viewed as augmented with a unary operation, called inverse by analogy with group theory.[1] Notice that a groupoid where there is only one object is a usual group. Special cases include: Setoids, that is: sets that come with an equivalence relation; G-sets, sets equipped with an action of a group G. Groupoids are often used to reason about geometrical objects such as manifolds. Heinrich Brandt (1927) introduced groupoids implicitly via Brandt

Python Courses

Social Icons

Pages

Tuesday, December 15, 2015

1. Isomorphism between objects

2. Goupoïdes

No comments:

Post a Comment

Category Of Mobile Courses

Python Courses

Python For Data Science

Python-Exercises-with-solutions

Java & Kotlin Courses

Web Courses

Facebook Followers

Computer and internet Glossary

Follow by Email

Followers

Report Abuse

Total Views

Blog Archive

Contact me

My Courses

Blog Archive

Sample text

Sample Text