GoogleScholar page
institute page
absolutely dense functor
inserter
non-canonical isomorphism
adjoint triangle theorem
automatic differentiation
descent
lax-idempotent 2-adjunction
Kan extension
Last revised on February 3, 2023 at 10:02:19. See the history of this page for a list of all contributions to it.