LESSWRONG
LW

Mark Chimes
24121232
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
Axiom Of Choice
Mark Chimes9y*10

I was thinking of starting here, then splitting into lenses once the structure is more certain. Do you think I should do that earlier?

Reply
Bijective Function Intro Math 0
Mark Chimes9y*10

Thanks So8res!

Yeah the page is still under development and I'm planning to add more negative examples as I go along. It was just copy-pasted from the page to have something here to start.

Do you feel the isomorphism page should have more negative examples for bijections? Or that it's long enough already?

Reply
Proof By Contradiction
Mark Chimes9y*50

Could be nice to add a concrete "real-life" (non-math) example, say like the following:

You are a defense lawyer. Your client is accused of stealing the cookie from the cookie jar. You want to prove her innocence. Lets say you have evidence that the jar is still sealed. Reason as follows:

  1. Assume she stole the cookie from the cookie jar.
  2. Then she would have had to open the jar.
  3. The jar is still sealed.
  4. For the jar to be sealed and for her to have opened it is a contradiction.
  5. Hence the assumption in 1 is false (given the deductions below it are true).
  6. Hence she did not steal the cookie from the cookie jar.

(Yes, I'm sure you can still figure out a way in which she stole the cookie. You're very clever. This is just an example to illustrate the method.)

Reply3
Isomorphism
Mark Chimes9y*20

Eric Rogstad But... but... poset office was a pun, not a typo.

Reply1
Product Category Theory
Mark Chimes9y*10

Yeah, I think keeping it as it is now is probably the best way of following the "one idea per page" methodology. The page on Products (mathematics) can have this page as child.

Reply
Product Category Theory
Mark Chimes9y*10

Eric Bruylant Whether Product (mathematics) is appropriate really depends if you're asking a category theorist (who would say yes) or not . ;-)

In seriousness, specific kinds of products include cartesian products, products of algebraic structures, products of topological spaces and the most well known: product of numbers. All of these are special cases of the categorical product (if you pick your category right), but I can imagine someone wanting to look up 'product' as in multiplication and getting hit with category theory.

I don't know. It's a matter of taste I suppose. I get the idea that category theory is not yet quite widely-known enough for this to be considered "the" definition by most mathematicians, but if other contributors feel it should be given that status I certainly won't complain. I just thought this was the safer approach.

See, for example product on Wikipedia.

Reply
Partially Ordered Set
Mark Chimes9y*20

Does the first question seem a bit much of a 'gotcha'? I was slightly annoyed I got it wrong despite being quite capable of working with posets. XD

I suppose the way it is asked is completely valid, and will drive home the fact that relations have to be reflexive and illustrates very well what would be necessary to get a valid order.

What are other people's thoughts?

(Maybe it will be better once it isn't the only question, nor the first?).

Reply1
Isomorphism
Mark Chimes9y*20

Eric Rogstad Elmo comes to visit. Does that seem fine you think?

Reply1
Load More
Isomorphism: Intro (Math 0)
No posts to display.
Category theory
8y
(+45/-78)
Axiom of Choice
9y
(+6139)
Axiom of Choice
9y