You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

JeremyHahn comments on Why is the A-Theory of Time Attractive? - Less Wrong Discussion

6 Post author: Tyrrell_McAllister 31 October 2014 11:11PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (89)

You are viewing a single comment's thread. Show more comments above.

Comment author: JeremyHahn 04 November 2014 12:36:21AM 2 points [-]

You might be able to do it with some abstract nonsense. I think general machinery will prove that in categories such as that defined in the top answer of

http://mathoverflow.net/questions/92206/what-properties-make-0-1-a-good-candidate-for-defining-fundamental-groups

there are terminal objects. I don't have time to really think it through though.