Unnamed Opetopic Sets ********************* Examples ======== The arrow --------- .. literalinclude:: ../tests/test_unnamedopetopicset_arrow.py :language: python :linenos: :lines: 4- .. literalinclude:: build/tests/test_unnamedopetopicset_arrow.out :linenos: A classic, maximally folded --------------------------- We start by deriving in :math:`\textbf{Opt${}^?$}` (see :mod:`UnnamedOpetope`) the opetope :math:`\omega = \mathsf{Y}_{\mathbf{2}} \circ_{[[*]]} \mathsf{Y}_{\mathbf{2}}` describing the shape of the maximal cell :math:`A`. We then proceed to derive the opetopic set in :math:`\textbf{OptSet${}^?$}`. .. literalinclude:: ../tests/test_unnamedopetopicset_classic.py :language: python :linenos: :lines: 4- .. literalinclude:: build/tests/test_unnamedopetopicset_classic.out :linenos: Documentation ============= .. automodule:: opetopy.UnnamedOpetopicSet :members: :private-members: :special-members: