Author: Evan Patterson Format: MarkdownItexAdd a reference for cartesian objects and their morphisms.
<a href="https://ncatlab.org/nlab/revision/diff/cartesian+object/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/cartesian+object/6">v6</a>, <a href="https://ncatlab.org/nlab/show/cartesian+object">current</a>
Add a reference for cartesian objects and their morphisms.
Author: Evan Patterson Format: MarkdownItexWrite down proof that cartesian objects are canonically symmetric pseudomonoids. Thanks to Nathanael Arkor for suggesting this proof!
<a href="https://ncatlab.org/nlab/revision/diff/cartesian+object/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/cartesian+object/7">v7</a>, <a href="https://ncatlab.org/nlab/show/cartesian+object">current</a>
Write down proof that cartesian objects are canonically symmetric pseudomonoids. Thanks to Nathanael Arkor for suggesting this proof!
Author: Evan Patterson Format: MarkdownItexAttempt to clarify how "making a choice" is compatible with having a "canonical" structure.
<a href="https://ncatlab.org/nlab/revision/diff/cartesian+object/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/cartesian+object/8">v8</a>, <a href="https://ncatlab.org/nlab/show/cartesian+object">current</a>
Attempt to clarify how “making a choice” is compatible with having a “canonical” structure.