Media Summary: A proof that the push-forward is right adjont to pull-back. Motivation for the construction of adjoint functors for bundles over sets. The definition of the pull-back and its right adjoint for bundles over sets.
Adjunctions From Morphisms 4 - Detailed Analysis & Overview
A proof that the push-forward is right adjont to pull-back. Motivation for the construction of adjoint functors for bundles over sets. The definition of the pull-back and its right adjoint for bundles over sets. This lecture is part of an online course on category theory. We define adoint functors and give severalexamples of them. For the ... Category theory is an important branch of mathematics which abstracts and generalize principles in many branches of ... Category Theory II 6.2: Free-Forgetful Adjunction, Monads from Adjunctions
The category of bundles on a set as a slice category and as a functor category into sets. We weaken the notion of equivalence of categories and come to an Description of the left adjoint to the pull-back. Category Theory II 6.1: Examples of Adjunctions We start with the homset based definition of an
