Social Icons

Wednesday, December 16, 2015

Functor

1. Covariant Functor


2. Contravariant Functor


à No comments:
Libellés :

Tuesday, December 15, 2015

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

à No comments:
Libellés :
Category defintions & Examples
 Extract from : CRing Project, Chapter 0 source : https://math.berkeley.edu/~amathew/chcategories.pdf

1. Category definition

In category theory, a branch of mathematics, the functors between two given categories form a category, where the objects are the functors and the morphisms are natural transformations between the functors. Functor categories are of interest for two main reasons: many commonly occurring categories are (disguised) functor categories, so any statement proved for general functor categories is widely applicable; every category embeds in a functor category (via the Yoneda embedding); the functor category often has nicer properties than the original category, allowing certain operations that were not available in the original setting.

2. Examples and notations

1.6 Preorder 2 Examples of categories 2.1 Baby examples 2.2 The category of sets 2.3 Mathematical structures as categories 2.3.1 Preorders 2.3.2 Groups 2.3.3 Matrices 2.4 Categories of sets with structure 3 Properties of objects and morphisms erminology and fine points If f: A \to B in a category, A is called the domain or source of f, and B is called the codomain or target of f. \text{Hom}(A,B) is called a hom class or a hom set if it is indeed a set. In general a hom set may be empty, but for any object A, \text{Hom}(A,A) is not empty because it contains the identity morphism. The hom class \text{Hom}(A,B) may be denoted by \text{Hom}_\mathcal{C}(A,B) or \mathcal{C}(A,B) if it is necessary to specify which category is referred to. Morphisms may also be called maps. This does not mean that every morphism in any category is a set function (see #Baby examples and #Preorders). Arrow is a less misleading name. The composite gf may be written g\circ f. It might be more natural to write the composite of f:A\to B and g:B\to C as f g instead of g f but the usage given here is by far the most common. This stems from the fact that if the arrows are set functions and x\in A, then (gf)(x)=g(f(x)). Thus g f is best read as "do g after f".

A category is a mathematical structure, like a group or a vector space, abstractly defined by axioms. Groups were defined in this way in order to study symmetries (of physical objects and equations, among other things). Vector spaces are an abstraction of vector calculus. What makes category theory different from the study of other structures is that in a sense the concept of category is an abstraction of a kind of mathematics. (This cannot be made into a precise mathematical definition!) This makes category theory unusually self-referential and capable of treating many of the same questions that mathematical logic treats. In particular, it provides a language that unifies many concepts in different parts of math. In more detail, a category has objects and morphisms or arrows. (It is best to think of the morphisms as arrows: the word “morphism” makes you think they are set maps, and they are not always set maps. The formal definition of category is given in the chapter on categories.)
Aspects of category theory Because the concept of a category is so general, it is to be expected that theorems provable for all categories will not usually be very deep. Consequently, many theorems of category theory are stated and proved for particular classes of categories. Homological algebra is concerned with Abelian categories, which exhibit features suggested by the category of Abelian groups. Logic is studied using topos theory: a topos is a category with certain properties in common with the category of sets but which allows the logic of the topos to be weaker than classical logic. It is characteristic of the malleability of category theory that toposes were originally developed to study algebraic geometry. An important use purpose of categorical reasoning is to identify within a given argument that part which is trivial and separate it from the part which is deep and proper to the particular context. For example, in the study of the theory of the GCD, the fact that it is essentially unique simply follows from the uniqueness of the product in any category and is thus really trivial. On the other hand, the fact that the GCD of the integers A and B can be expressed as a linear combination of A and B with integer coefficients—GCD(a, b) = ma + nb, for some integers m and n—is a much deeper fact that is special to a much more restricted situation.

à No comments:
Libellés :

Sunday, December 6, 2015

Google Ending Support For 32-Bit Chrome For Linux, Debian 7 And Ubuntu 12.04

Google announced that it will drop support for 32-bit version of Linux, Debian 7 (Wheezy) and Ubuntu 12.04 (Precise).
In a Chromium-dev group post on Tuesday, Dec. 1, Google software engineer Dirk Pranke stated that Mountain View will drop support for Google Chrome on the aforementioned operating system
versions. The company will cease to provide security fixes and updates for Google Chrome browsers installed on the said platforms starting March 2016.

à No comments:
Libellés :
Facebook, Twitter, Google quietly step up fight against terrorist propaganda

Facebook, Google and Twitter are stepping up efforts to combat online propaganda and recruiting by Islamic militants, but the internet companies are doing it quietly to avoid the perception that they are helping the authorities police the web.

Facebook said it took down a profile that the company believed belonged to San Bernardino shooter Tashfeen Malik, who with her husband is accused of killing 14 people in a mass shooting that the FBI is investigating as an "act of terrorism."
Last week the French prime minister and European Commission officials met separately with Facebook, Google, Twitter and other companies to demand faster action on what the commission called "online terrorism incitement and hate speech."
The internet companies described their policies as straightforward: they ban certain types of content in accordance with their own terms of service, and require court orders to remove or block anything beyond that. Anyone can report, or flag, content for review and possible removal.

à No comments:
Libellés :
Table of Content
à No comments:
Libellés :

Saturday, December 5, 2015

Definition of Category
à No comments:
Libellés :

Friday, December 4, 2015

Isomorphisme, groupoïde
à No comments:
Libellés :

Thursday, December 3, 2015

Covariant Functor
à No comments:
Libellés :

Wednesday, December 2, 2015

Contravariant Functor
à No comments:
Libellés :
Subscribe to: Posts (Atom)

Learn Python For Beginners

Category Of Mobile Courses

Actualités (644) Adsense (1) Affiliation (1) Algebraic Topology (2) Algorithmic (1) all-news (30) Android (5) Android App (8) Android app without code (4) Android Apps (256) Android Development (4) Android download (2) Android OS (3) AngularJS (1) Automata theory and formal language (5) Bootstrap CSS (1) C programming (5) Category and Functor (8) CMS (3) Computer Glossary (18) Create Mobile App With Ionic Framework (2) CSS (2) CSS-Cascading-Style-Sheets (4) Developpement Java (13) Differential Geometry (1) Django-Python-Framework (15) dropshiping (26) Earn Money by Internet (4) Emplois (23) Framework php (2) Fraud (2) Github (2) HTML (7) IT News (3) Java For Beginners (10) Javascript (12) Kotlin Programming Language (8) Kotlin For Mobile Android (1) Linux Download (2) Marketing (5) Mobile (3) Mobile Courses (4) Mobile Marketing (4) MoneyGram (1) News (721) Node.js (5) Open Source (1) Photoshop (1) Protect Computer (1) Python (36) Python BeautifulSoup (1) Python For Data Science (2) Python PyQt (13) Python Reference (1) Python Source Code (3) Python-Books (6) Python-DVD-Training (1) Python-Exercises (297) Python-Framework (1) Python-IDE (1) Python-Kivy-Framework (2) Python-Modules (1) Python-pdf (2) Python-pyQt (1) python-temp (3) Référencement (2) Script PHP (2) Security (6) SEO (1) Snipping Tool: Faq (1) Social Networks (1) Source Code (4) Statistics With SPSS (2) Surveillance Software (1) Travail à domicile (6) Tutoriels php en vidéos (2) Tutoriels-MySql (6) tutoriels-php (19) Utilitaires (1) VPS (1) Web Hosting (1) Webcam (1) Webmarketing (11) Western Union (1) Windows 10 (1) Windows 7 (4) Windows 7 Faq (2) Windows 8 (1) Windows Accessories (1) Windows Download (8) Windows Drivers (1) Windows Fonts (1) Windows Power Shell (2) Windows Registry (2) Windows Security (18) Windows Software (2) Windows Spyware (2) Windows utilities (3) Windows Virus (2) Windows Vista (3) Windows Wireless (1) Windows xp (1) Wordpress (1)
 

Sample text

Sample Text

 
Blogger Templates