Skip to content

Commit

Permalink
update Adjoint Functor
Browse files Browse the repository at this point in the history 
Equivalent Definition of Adjoint Functor Using Representable Functor
  • Loading branch information
@hooyuser
hooyuser committed Jan 26, 2024
1 parent 883ed35 commit 7e0d004
Showing 1 changed file with 231 additions and 46 deletions.
Loading

0 comments on commit 7e0d004

Please sign in to comment.