I am trying to teach myself some algebra by reading Bourbaki's Algebra (en, 2nd printing, 1998). Reading through Chapter 2, §1, I find that there are a couple of mistakes. (no. …

I have seen a discussion about Bourbaki’s usage of categories before. So let me ask a different question: why did he not use universal algebra? Well, universal algebra is not much …

Is it known who actually wrote Bourbaki's Elements of the History of Mathematics?

Here is the text of Exercise: 2 a) Let $X$ be an ordered set. Show that the set of intervals $\left[x, \rightarrow\right[$ (resp. $\left]\leftarrow, x\right]$) is a base o …

Mathematics has undergone some rather nice developments recently with the adoption of new techologies, things like on-line journals, the arXiv, this website, etc. I imagine there …

On Bourbaki's TVS Chapter IV pages 33-34, the last part of Proposition 2 can be formulated as follows: Notations: $K$ - The underlying field which is the real or complex number f …

Is there any relationship between Bourbaki's Epsilon Calculus and Lambda Calculus ? Whether $\lambda {x}$ is same as $\tau _{x}$ ? Are the rules of Meta-Mathematics (Criteria of S …

A set-theoretical reductionist holds that sets are the only abstract objects, and that (e.g.) numbers are identical to sets. (Which sets? A reductionist is a relativist if she is …

Bourbaki used a very very strange notation for the epsilon-calculus consisting of $\tau$s and $\blacksquare$. In fact, that box should not be filled in, but for some reason, I can …

Suppose we are writing very detailed proofs, absolutely without any gaps (for example, for checking proofs by computer). In such formal proofs every step (even a trivial one) must …

In their book "Theory of sets" Bourbaki suggested a general theory of isomorphism. (See also http://www.tau.ac.il/~corry/publications/articles/pdf/bourbaki-structures.pdf ) The e …