Whether the morphism has special name

  • Context: Graduate 
  • Thread starter Thread starter navigator
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the terminology surrounding morphisms in category theory, specifically the relationship between morphisms h and f. When morphism h is an extension of morphism f, f is termed a restriction of h. Conversely, the terminology for morphism f in relation to h, particularly when h is a lifting of f, is not standardized and can vary based on the context of the lifting. The concept of induced morphisms, particularly in representation theory through the induction functor, is highlighted as an example of morphisms with special properties.

PREREQUISITES
  • Understanding of category theory concepts
  • Familiarity with morphisms and their properties
  • Knowledge of functors, particularly induction functors
  • Basic principles of representation theory
NEXT STEPS
  • Research the concept of induced morphisms in representation theory
  • Explore the role of functors in category theory
  • Study the properties of lifting and restriction of morphisms
  • Examine examples of morphisms in various mathematical contexts
USEFUL FOR

Mathematicians, category theorists, and students of abstract algebra seeking to deepen their understanding of morphisms and their applications in representation theory.

navigator
Messages
42
Reaction score
0
If morphism h is an extension of morphism f,we call morphism f is a restricion of morphism h; If morphism h is a lifting of morphism f,what do we call morphism f of morphism h ? Or in other words, if i is an inclusion morphism ,then what do we call the morphism f*i, as i*f is called restriction of f ?
 
Physics news on Phys.org
What you call it entirely depends on how one has lifted; there are normally going to be (infinitely) many different lifts with no reason to suppose that anyone is _the_ lift.

An example where one does have some special properties would be the induced morphism in representation theory from the induction functor. (One might well need some functor lying around to show that something exists and is unique and has the right universal properties.)
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
7K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K