added hyperlinking to more terms in the first paragraph, such as to axiom schemata and foundational axiom
]]>added rules for the axiom schemata of full replacement and the axiom schemata of bounded replacement and added redirects.
Anonymous
]]>Oh, silly me! I thought the link pointed to the era when all the emails were lost. I was misremembering, it was in 2009 that the archiving switched and then got (temporarily) lost. Sigh. Sorry for the noise.
]]>Do you mean that the link www.mta.ca/~cat-dist/archive/2008/08-3 is broken? This link works for me.
Or maybe you mean that it’s not the most helpful link. The subject line “Categorical formulations of replacement” appears only about half way through the long page that it points to (in the message with id: 1Ja8L3-00020K-Rk)
]]>Just a heads up that the reference
is broken, because of the link to the categories mailing list. Perhaps a helpful soul will trawl the archived version (I can’t find it again now! I think it was on GitHub) and link to the discussion.
]]>adding link to type theoretic axiom of replacement
Anonymous
]]>Added doi link to McLarty’s article
Added link to recent n-cafe posts
]]>Add Kanamori reference (from David Roberts's blog)
]]>