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.
Contoh soal · lcm(4, 6)
Langkah demi langkah
- \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.
Tampilkan jawaban
Sekarang Anda Pilih soal, atau ketik atau gambar soal Anda sendiri. Setiap langkah, sebuah gambar, jawabannya tersembunyi sampai Anda memintanya.
Sebuah akun gratis menambahkan catatan pada setiap pelajaran, catatan apa yang telah Anda selesaikan, masalah yang Anda selesaikan di satu tempat, dan tutor yang dapat Anda tanyakan tentang halaman ini. matematika itu sendiri terbuka untuk semua orang, ditandatangani atau tidak.
Daftar MasukSimbol yang digunakan di sini
Sentuh simbol apapun untuk definisi lengkap, gambar, dan apa setiap huruf di dalamnya berarti.
Bagaimana: 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.
Pertanyaan yang sering diajukan
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.