Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeDec 2nd 2012
• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeJun 25th 2017

Added to distributivity pullback a mention of how it specializes in the internal type theory to the non-axiom of choice. (Also added a mention of the non-axiom of choice at axiom of choice.)

• CommentRowNumber3.
• CommentAuthorTodd_Trimble
• CommentTimeJun 25th 2017

Also added a mention

Where? I couldn’t find it using ctrl-F.

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeJun 25th 2017

under “connection to distributivity”, at the end.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJun 26th 2017
• (edited Jun 26th 2017)

Todd, in such cases you can click on “see changes” at the bottom, which yields this.

• CommentRowNumber6.
• CommentAuthorTodd_Trimble
• CommentTimeJun 26th 2017

Thanks. Yeah, I know about “see changes” (use it all the time), but for some inexplicable reason didn’t use that time. I see now why Mike said “non-axiom of choice”; originally I was expecting to see the words “non-axiom”.

• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)