For example, the important notion of an adjoint functor occurs in logic as the existential quantifier and in topology as the image operation along a continuous function. From a categorical point of view, these turn out to be essentially the same operation.
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
LustrzanyDotyk - (no access) - (Oxford Logic Guides 52) Steve Awodey-Category Theory-Oxford University Press (2010).pdf, p19
Summary
status | not read | | reprioritisations | |
---|
last reprioritisation on | | | suggested re-reading day | |
---|
started reading on | | | finished reading on | |
---|
Details