All Questions
Tagged with abstract-nonsense reference-request
3 questions
9
votes
4
answers
524
views
Abstract treatment of multivariate calculus relevant for optimization
After studying the basics of (convex) optimization, I've become convinced there's sometimes a conceptual benefit in thinking of quantities like gradients etc. in a coordinate-free way, and keeping ...
3
votes
3
answers
261
views
Ref request: making a homotopy equivalence fibrewise, in an abstract setting (eg fibration categories)
The following useful lemma holds in a variety of settings:
Lemma. Let $p : Y_1 \to X$, $p_2 : Y_2 \to X$ be fibrations over a common base, and $f : Y_1 \to Y_2$ a map over $X$ that is a homotopy ...
2
votes
0
answers
105
views
What should one "do" to "strictify" a triangle of transformations coming from a lax commutative triangle of functors?
I would like to apologize for this rather stupid abstract nonsense question.
Let $h=f\circ g$ for composable functors $f,g$; assume that there exist left or right adjoints to $f$ and $g$. Then it ...