adjoint functor theorem

Last modified date: <%+ tp.file.last_modified_date() %>

adjoint functor theorem

attachments/Pasted%20image%2020220505190348.png

attachments/Pasted%20image%2020220505190630.png

Links to this page

presentable category

adjoint functor theorem

A special form of the adjoint functor theorem when all categories invovled are presentable:

#todo/untagged #todo/add-references #todo/create-links