added pointer to:
Added a reference to Joyal’s CatLab.
]]>Added a spelled out definition of categorical pullbacks, not relying on an understanding of limits.
]]>Puts many diagrams in tikz-cd
Anonymous
]]>Thank you very much, Mr. or Mrs. Anonymous!
]]>Moved some commutative diagrams to tikz-cd
Anonymous
]]>Put some commutative diagrams in tikz-cd
Anonymous
]]>Put some commutative diagrams in tikz-cd
Anonymous
]]>Added cartesian redirects.
]]>Several pages on inductive types/W-types link to this page and use the term “pullback functor” with notation , yet if you Ctrl-F on this page, you can’t find this term. This edit at least shortly mentions it and links to base change.
Stipulation: redirect pullback functor to base change
WorldSEnder
]]>Fixed a tiny typo ‘hold -> holds’.
anqurvanillapy
]]>I made some minor improvements to the Properties section of pullback, making it match the similar section in pushout insofar as it can. (It’s a bit tiring to have to look at both these pages to get all the basic properties, so I fixed that, but for properties that hold both for pullbacks and dually for pushouts I’m happy to have all the proofs at pullback - that’s how it works now.)
]]>added a Properties-section to pullback
]]>