FACTOID # 3: South Carolina has the highest rate of violent crimes and aggravated assaults per capita among US states.
 
 Home   Encyclopedia   Statistics   States A-Z   Flags   Maps   FAQ   About 
   
 
WHAT'S NEW
 

SEARCH ALL

FACTS & STATISTICS    Advanced view

Search encyclopedia, statistics and forums:

 

 

(* = Graphable)

 

 


Encyclopedia > Concrete category

In mathematics, a concrete category is a category in which, roughly speaking, all objects are sets possibly carrying some additional structure, all morphisms are functions between those sets, and the composition of morphisms is the composition of functions.


Most categories considered in everyday life are concrete; examples are the category of topological spaces with continuous maps as morphisms or the category of groups with group homomorphisms as morphisms.


If C is a concrete category, then there exists a forgetful functor F : C → Set which assigns to every object of C the underlying set and to every morphism in C the corresponding function. This functor is faithful, i.e. it maps different morphisms between the same objects to different functions (it may however map different objects to the same set). In the formal approach, a concrete category is defined as a category together with a faithful functor into the category of sets.


The category Toph where the objects are topological spaces and the morphisms are homotopy classes of continuous functions is an example of a category that is not concrete. While the objects are sets (with additional structure), the morphisms are not actual functions between them, but rather classes of functions.


  Results from FactBites:
 
Concrete category - definition of Concrete category in Encyclopedia (233 words)
In mathematics, a concrete category is a category in which, roughly speaking, all objects are sets possibly carrying some additional structure, all morphisms are functions between those sets, and the composition of morphisms is the composition of functions.
Most categories considered in everyday life are concrete; examples are the category of topological spaces with continuous maps as morphisms or the category of groups with group homomorphisms as morphisms.
The category Toph where the objects are topological spaces and the morphisms are homotopy classes of continuous functions is an example of a category that is not concrete.
  More results at FactBites »

 
 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments

Want to know more?
Search encyclopedia, statistics and forums:

 


Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms, 1022, m