Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is there a usual way to express the concept of fixed points in category theory? What would I say to express that a morphism has a fixed point? Thank you!

share|improve this question
add comment

2 Answers

up vote 7 down vote accepted

A fixed point is a solution to the equation $x = f(x)$. The usual way to encode equations is as equalizers.

Given an object $A$ and an endomorphism $f : A \to A$, we can define "the subobject $B \mapsto A$ fixed by $f$" to be the equalizer of $f$ and the identity morphism. This subobject has the universal property that if $g : C \to A$ is any morphism with $fg = g$, then $g$ factors uniquely through $B$. (i.e. we can factor $g$ as $C \to B \to A$)

share|improve this answer
1  
Thank you for the prompt answer! I look forward to understanding it. –  Nick Thomas Jan 20 '13 at 7:41
add comment

It is more interesting to ask whether an endofunctor has a fixed point. One distinguishes between least fixed points and largest fixed points. For example, the unit intervall is the largest bipointed topological space with a "self-similarity" $I = I \vee I$, and the set of natural numbers is the least set with $\mathbb{N} = 1 + \mathbb{N}$, the set of binary trees is the least set with $T=1+T^2$. For details, references and more examples, see:

share|improve this answer
    
Is there some kind of lattice structure one exploits there? This looks reminiscent of the Tarski fixed point theorem. –  Michael Greinecker Jan 27 '13 at 12:22
1  
Actually Tarski's fixed point theorem is a special case of the Lemma (see the nlab) which says that an endofunctor $F$ on a category with $\omega$-chains which $F$ preserves has an initial algebra, applying this to the case of partial orders. –  Martin Brandenburg Jan 27 '13 at 12:25
    
Thank you!${}{}{}{}{}{}{}{}$ –  Michael Greinecker Jan 27 '13 at 12:29
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.