Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I started classical mathematics to link to from internal logic.
Toby, Who uses term "classical mathematics" in any consistent way ? For every person this is something else.
Harry, why do you use strange unknown abbreviations ? It is confusing. It is like writing an empty space or "#$%&/U()I sign.
Zoran, I believe the abbreviation is well-known to frequent users of the English Wikipedia, but perhaps not well-known to others.
There is something charged about the article, but I find it hard to disagree with anything Toby actually wrote -- it's all true one way or another. Maybe "ignoring the lessons of higher category theory" could be perceived as a slap on the hands, or at least admonition to mathematicians at large that they should be paying attention to these lessons. It's opinionated, but defensibly so.
While I don't mind the presence of this article, others (looking at you, Zoran! (-: ) should feel free to add their own meanings. Toby did say that the phrase could mean any of the following, and didn't seem to be pretending he was saying anything exhaustive.
I hereby repeat Todd's last sentence. And if anybody wants to rephrase things so that it's clearer that Todd's last sentence is correct, please do so.
As for neutrality of point of view, the nLab has a POV, so … (^_^).
Yes, we are not interested in being neutral. We are interested in being right. :-)
I like Urs's statement.
Just to be facetious, the nLab of course enforces the nPOV.
(That's the n-Point of View)
I'm in favor of being right too, but I'm also in favor of not unnecessarily offending people who don't (yet) share our point of view. The word "lessons" in particular is a bit too opinionated for my comfort, since it implies that people who don't adhere to non-evil etc. are "failing to learn something they should." We may believe that to be true, but it takes some people a while to realize it, and (especially in the U.S.) category theory is still recovering from decades of ignominy due (partly, I am told) to an initially overzealous attitude towards changing the world. So I tried to soften the phrase a bit.
PS. I think there needs to be a page called nPOV now.
<div>
<blockquote>
PS. I think there needs to be a page called nPOV now.
</blockquote>
<p>I gave it a try: <a href="https://ncatlab.org/nlab/show/nPOV">nPOV</a>.</p>
<p>This is just a suggestion, using what came to mind on a Saturday afternoon. Feel free to edit to your heart's content.</p>
</div>
I wrote a comment, rather than an edit, for now.
I agree with your and Mike's comment. Would be great if you could work it into the text.
I made an attempt at nPOV.
I think that we also like to have multiple points of view, if I look back. When somebody disagrees guys, specially various elves try to find a way to accomodate that viewpoint as well (as long as it stands the elementary persuasion by counterreasoning).
Sounds like Schoenberg's sonatas.
<div>
<blockquote>
I made an attempt at nPOV.
</blockquote>
<p>I like that.</p>
<p>Eventually the list of exaples deserves to be expanded. I imagine there is potential among the regular contributors to add to my attempt of indicating the power of category theory in geometry an example of its power in logic and foundations.</p>
</div>
Then put that in at nPOV!
I think that MacLane wrote a whole paper concentrating on category theory in differential geometry about almost half a century ago. Things like tangent bundles are among main examples. Or was it someone else ?
But in differential geometry things concentrate on functoriality and naturality of constructions. This is easy category theory. With groupoids, algebraoids and homotopy ideas, the things become much more sophisticated.
<div>
<blockquote>
This is easy category theory.
</blockquote>
<p>Right, I think there is a distinction to be made between</p>
<ul>
<li><p>on the one hand just identifying a category, a functor, a natural transformation</p></li>
<li><p>on the other applying category theory to that, usually by invoking universal constructions,</p></li>
</ul>
</div>
Right, only under pullback along transversal maps.
This observation is usually the starting point for realizing that differential geometry is in need of a bit of category theory in the form of higher geometry.
In all notions of generalized smooth spaces all pullbacks do exist,.But they may still not be the "right" pullbacks. For instance cohomology of pullback objects may not have the expected properties. This is solved by passing to smooth derived stacks, such as derived smooth manifolds.
(I'll copy this remark to the entry nPOV now...)
1 to 27 of 27