Revision #692 → #987 · back to history
addedAdjunction between categories8ea8a5377999
addedLeft and right adjointf0a92cd29408
addedEquivalence gives an adjunction8b42cda17277
addedRight adjunct (Mac Lane)e5d9b0e6c77b
addedAdjoining identity to a rngaa64eb0db88d
addedAdjoint functors occur in pairsbbe655c5b020
addedLeft adjoint via universal morphismsb9c490f96457
addedRight adjoint via universal morphisms7c6c1eaa8369
addedLeft adjoint iff right adjoint651c9cc5d005
addedAdjunction via hom-setse5d3a80ad887
addedAdjunction via counit–unit8f88821afb2f
addedTriangle identitiesdcc258455765
addedTensor-hom adjunction42cf0213e369
addedFree group functor left adjoint to forgetful029d18fb8727
addedFree objects are left adjoints5b2e24fb380e
addedLimit functor right adjoint to diagonalaae2f3ac55b5
addedProductsff0ba4dcb6f3
addedColimit functor left adjoint to diagonalaa6a5c3b05a4
addedCoproducts2527b77c0f94
addedAdjoining identity to a rng1b6fac0be9e4
addedAdjoining identity to a semigroupca892abff712
addedRing extensionsdf5648c55dc9
addedTensor products9f692757ce42
addedMonoid and group ringsf4c915b3df0a
addedField of fractionsd48ad01d75a8
addedPolynomial rings0290d6df8786
addedAbelianization82995c0c8003
addedGrothendieck group183b8cc7942c
addedFrobenius reciprocitybfac94eb12ca
addedForgetful functor with left and right adjointe7d9a0f5eac4
addedSuspensions and loop spacesddaf684e3f18
addedStone–Čech compactification19adfede760c
addedDirect and inverse images of sheavesd81bee31c15d
addedSoberificationf0897254fda4
addedGalois connection98e7e60694ed
addedGalois connection gives closure operatorse7f5e0ef3a19
addedSyntax and semantics are adjoint13714e232c9e
addedEquivalence yields adjoint paira9402d9006c3
addedConnected components functor869db1727bb4
addedCurrying in cartesian closed categorye22336f295b6
addedQuantifiers as adjoints to pullback85c9ed0bf918
addedDirect image as left adjoint in Set9eece214aefe
addedExpectation as adjoint of Dirac delta70b285279e2a
addedFull data of an adjunctionb6911d6e975a
addedUniversal morphisms induce hom-set adjunction16cce15d6969
addedCounit–unit induces hom-set adjunction5b8be172d359
addedHom-set adjunction induces counit–unit602df092fcf1
addedFreyd adjoint functor theorem47537873beb5
addedAdjoints for locally presentable categoriesc134ffc7bf71
addedUniqueness of adjointsf839d5294f13
addedAdjointness preserved under natural isomorphismac2f4e69e63d
addedComposition of adjunctionseb88f2f49277
addedAdjoints preserve limits/colimitsca2e873deb21
addedRight adjoint of additive functor is additive06550241af70
addedAdjoints between additive categories are additivebf3bcc437d0a
addedUniversal morphisms yield left adjoint7e85b49a2871
addedEquivalence half is left adjointd31b8e7ab510
addedAdjunction restricts to equivalence76cbcee9c1a1
addedAdjunction gives rise to a monad9f3882b8dc2b
addedEvery monad arises from an adjunction617a718459ee