Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
amakelov's user avatar
  • 997
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 ...
Peter LeFanu Lumsdaine's user avatar
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 ...
Mikhail Bondarko's user avatar