Two equivalent descriptions of opetopes: in terms of zoom complexes and of partial orders
Louise Leclerc











[2016/12/29]







  skins,
  breakable


 





  arrows,
  arrows.meta,
  decorations.markings,
  shapes.geometric,
  trees










1.05


LS1
LS1stix2mn
arrows2LS1stix2sfmit
arrows2boldLS1stix2sfbit
arrows2
arrows2"B2
arrows2"B3
arrows2"B4
arrows2"B5

hmargin=2.5cm,vmargin=1.5cm
*

 §.§ 
 0pt0ex plus 1ex minus .2ex2ex plus .2ex














figuresection




paragraphCounter[section]



break
  
  
  
  
break

rmk[paragraphCounter]Remark
exm[paragraphCounter]Example
*exm*Example

thm[1][]
  paragraphCounter
  
    [ enhanced
    , breakable
    , title =
        
          #1
            Theorem 
            Theorem  : #1
        
    , attach boxed title to top left = 
         xshift = 15pt
        , yshift* = -/2
        
    , boxed title style = 
         size = small
        , colback = purple!20
        , top = 1pt
        , bottom = 1pt
        
    , colback = white
    , after skip = 10pt
    , before skip = 6pt
    ]
  

thm*[1][]
  
    [ enhanced
    , breakable
    , title =
        
          #1
            Theorem
            Theorem : #1
        
    , attach boxed title to top left = 
         xshift = 15pt
        , yshift* = -/2
        
    , boxed title style = 
         size = small
        , colback = purple!20
        , top = 1pt
        , bottom = 1pt
        
    , colback = white
    , after skip = 10pt
    , before skip = 6pt
    ]
  

defin[1][]
  paragraphCounter
  
    [ enhanced
    , breakable
    , title =
        
          #1
            Definition 
            Definition  : #1
        
    , attach boxed title to top left = 
         xshift = 15pt
        , yshift* = -/2
        
    , boxed title style = 
         size = small
        , colback = blue!30
        , top = 1pt
        , bottom = 1pt
        
    , colback = white
    , after skip = 10pt
    , before skip = 6pt
    ]
  

prop[1][]
  paragraphCounter
  
    [ enhanced
    , breakable
    , title =
        
          #1
            Proposition 
            Proposition  : #1
        
    , attach boxed title to top left = 
         xshift = 15pt
        , yshift* = -/2
        
    , boxed title style = 
         size = small
        , colback = green!50!blue!30!
        , top = 1pt
        , bottom = 1pt
        
    , colback = white
    , after skip = 10pt
    , before skip = 6pt
    ]
  

lem[1][]
  paragraphCounter
  
    [ enhanced
    , breakable
    , title =
        
          #1
            Lemma 
            Lemma  : #1
        
    , attach boxed title to top left = 
         xshift = 15pt
        , yshift* = -/2
        
    , boxed title style = 
         size = small
        , colback = blue!30
        , top = 1pt
        , bottom = 1pt
        
    , colback = white
    , after skip = 10pt
    , before skip = 6pt
    ]
  













































































  

  
  plain
  


