Formal criteria for adjoint functors

From testwiki
Jump to navigation Jump to search