Sign up to save your podcasts
Or
Share #4.91 f^-1 is left adjoint to f_star
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#4.91 f^-1 is left adjoint to f_star
f^-1 is left adjoint to f_star, implying there exists a map f^-1f_star to id
View all episodes
By Lucf^-1 is left adjoint to f_star, implying there exists a map f^-1f_star to id