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.
ឧទាហរណ៍ដែលបានធ្វើ · lcm(4, 6)
ជំហានដោយជំហាន
- \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.
បង្ហាញចម្លើយ
ឥឡូវអ្នក ជ្រើសបញ្ហា ឬវាយបញ្ចូល ឬគូររបស់អ្នកផ្ទាល់ ។ ជំហាននីមួយៗ រូបភាព ចម្លើយត្រូវបានលាក់រហូតដល់អ្នកសួរ ។
គណនីឥតគិតថ្លៃបន្ថែមចំណាំលើមេរៀននីមួយៗ កំណត់ហេតុនៃអ្វីដែលអ្នកបានបញ្ចប់ បញ្ហាដែលអ្នកបានដោះស្រាយនៅកន្លែងមួយ និងគ្រូដែលអ្នកអាចសួរអំពីទំព័រនេះ ។ គណិតវិទ្យាដោយខ្លួនវាគឺបើកចំហសម្រាប់អ្នកទាំងអស់គ្នា ចុះឈ្មោះចូល ឬមិនចុះឈ្មោះចូល ។
ចុះឈ្មោះ ចូលនិមិត្តសញ្ញាដែលបានប្រើនៅទីនេះ
ចុចនិមិត្តសញ្ញាណាមួយសម្រាប់ការកំណត់ពេញលេញ រូបភាព និងតួអក្សរនីមួយៗមានន័យអ្វី ។
របៀប: 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.
សំណួរដែលមនុស្សសួរ
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.