What do we call the function in this diagram?

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

The function f' in the provided diagrams represents various mathematical concepts related to function manipulation in category theory. Specifically, it is identified as the extension, restriction, and lifting of the function f, depending on the context of the diagram. The discussion culminates in a query regarding the inverse of lifting, drawing a parallel to how restriction serves as the inverse of extension.

PREREQUISITES
  • Understanding of category theory concepts
  • Familiarity with inclusion maps in mathematical functions
  • Knowledge of function extension and restriction
  • Proficiency in LaTeX for mathematical representation
NEXT STEPS
  • Research the concept of function lifting in category theory
  • Explore the relationship between function extension and restriction
  • Study inverse functions and their properties in mathematics
  • Learn about inclusion maps and their applications in function theory
USEFUL FOR

Mathematicians, students of category theory, and anyone interested in advanced function manipulation and its applications in theoretical mathematics.

navigator
Messages
42
Reaction score
0
We call the function f' in this diagrams:

[tex]\begin{displaymath}<br /> \begin{xy}<br /> *!C\xybox{<br /> \xymatrix{<br /> {E}\ar[r]^{i} \ar[d]_{f} & {X} \ar[dl]^{f'}\\<br /> {Y} &}}<br /> \end{xy}<br /> \end{displaymath}[/tex]
the entension of function f;
(i is an inclusion map)

[tex]\begin{displaymath}<br /> \begin{xy}<br /> *!C\xybox{<br /> \xymatrix{<br /> {E}\ar[r]^{i} \ar[dr]_{f'} & {X} \ar[d]^{f}\\<br /> &{Y} }}<br /> \end{xy}<br /> \end{displaymath}[/tex]
the restriction of function f;
(i is an inclusion map)

[tex]\begin{displaymath}<br /> \begin{xy}<br /> *!C\xybox{<br /> \xymatrix{<br /> &{E}\ar[d]^{p}\\<br /> {X}\ar[ur]^{f'}\ar[r]_{f} & {Y} } }<br /> \end{xy}<br /> \end{displaymath}[/tex]
the lifting of function f;

then how do we call the function f' in this this diagram:
[tex]\begin{displaymath}<br /> \begin{xy}<br /> *!C\xybox{<br /> \xymatrix{<br /> {X}\ar[r]^{f}\ar[rd]_{f'} & {Y} \ar[d]^{p}\\<br /> &{E} } }<br /> \end{xy}<br /> \end{displaymath}[/tex]
 
Physics news on Phys.org
Oh,the latex codes do not display properly here.
So my question is what is the inverse of lifting? like restriction is the inverse of extension.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K