maths.free › Category Theory › Universal properties, limits and adjunctions
Universal properties, limits and adjunctions
Products, coproducts, limits and the adjunctions that unify constructions.
A product is defined by what maps into it, not by what it is made of; the same shape of definition gives limits, colimits and free objects. Adjoint functors pair a "free" construction with a "forgetful" one. Picture it: the lcm of 4 and 6 is the least common multiple in the divisibility order, a categorical join. Think it: Yoneda: an object is determined by the arrows into it.
Rechenbeispiel · lcm(4, 6)
Schritt für Schritt
- \gcd(4, 6)
Use Euclid's algorithm: replace the larger number by its remainder on division by the smaller, until the remainder is 0.
- 6 = 1 \times 4 + 2
Divide 6 by 4: quotient 1, remainder 2.
- 4 = 2 \times 2 + 0
Divide 4 by 2: quotient 2, remainder 0.
- \gcd(4, 6) = 2
Euclid gives the gcd.
- \operatorname{lcm}(4, 6) = \frac{4 \times 6}{\gcd(4, 6)} = \frac{24}{2} = 12
lcm × gcd = a × b, so divide the product by the gcd.
Antwort aufdecken
Jetzt du Wählen Sie ein Problem, oder tippen oder zeichnen Sie Ihre eigenen. Jeder Schritt, ein Bild, die Antwort versteckt, bis Sie fragen.
Ein kostenloses Konto fügt Notizen zu jeder Lektion, eine Aufzeichnung von dem, was Sie beendet haben, Ihre gelösten Probleme an einem Ort, und ein Tutor können Sie über diese Seite fragen. Die Mathematik selbst ist offen für alle, angemeldet oder nicht.
Registrieren AnmeldenHier verwendete Symbole
Tippen Sie auf jedes Symbol für die vollständige Definition, ein Bild und was jeder Buchstabe darin bedeutet.
Wie man: Universal properties, limits and adjunctions
- Use Euclid's algorithm: replace the larger number by its remainder on division by the smaller, until the remainder is 0.
- Divide 6 by 4: quotient 1, remainder 2.
- Divide 4 by 2: quotient 2, remainder 0.
- Euclid gives the gcd.
- lcm × gcd = a × b, so divide the product by the gcd.
Fragen, die die Leute stellen
What is a functor?
A map between categories that sends objects to objects and arrows to arrows while respecting composition. Taking the fundamental group of a space is a functor from spaces to groups.