Issues

• Put the full syntax in the appendix

  vikraman/2DTypes#157 · Filter by author inexxt opened on Oct 30, 2021

• Finalize the paper

  vikraman/2DTypes#156 · Filter by author inexxt opened on Oct 30, 2021

• Mention previous work with BAut(2) and how this extends it

  enhancementtext
  vikraman/2DTypes#153 · Filter by author vikraman opened on Oct 28, 2021 · Revised paper
  

• Typography fixes

  enhancement
  vikraman/2DTypes#150 · Filter by author vikraman opened on Oct 27, 2021 · Revised paper

• Notation for successor and Sn are confusing

  vikraman/2DTypes#139 · Filter by author vikraman opened on Sep 8, 2021 · Revised paper

• Prove !⟷₁⟷₂ in Syntax

  Piproof
  vikraman/2DTypes#88 · Filter by author inexxt opened on Feb 27, 2021
  1

• Prove quote^₂

  Piproof
  vikraman/2DTypes#86 · Filter by author inexxt opened on Feb 27, 2021
  

• Prove quote-eval²₀

  Piproof
  vikraman/2DTypes#85 · Filter by author inexxt opened on Feb 27, 2021
  1

• Prove eval^₂

  Piproof
  vikraman/2DTypes#80 · Filter by author inexxt opened on Feb 26, 2021
  1

• Prove evalNorm₂

  Piproof
  vikraman/2DTypes#79 · Filter by author inexxt opened on Feb 26, 2021
  1

• Prove quote-eval^₁

  definitionPiproof
  vikraman/2DTypes#77 · Filter by author vikraman opened on Feb 21, 2021
  1

  

• Add text in section 2

  text
  vikraman/2DTypes#74 · Filter by author vikraman opened on Feb 20, 2021
  

• Prove the Coxeter HIT and set quotient versions are equivalent

  proof
  vikraman/2DTypes#43 · Filter by author vikraman opened on Jan 14, 2021

• Prove the group structure of CList

  proof
  vikraman/2DTypes#42 · Filter by author vikraman opened on Jan 14, 2021

• Sketch the equivalence between M 1 and UFin

  definitionFSMG
  vikraman/2DTypes#41 · Filter by author vikraman opened on Jan 14, 2021

• Prove the universal property of FSMG.M

  FSMGproof
  vikraman/2DTypes#40 · Filter by author vikraman opened on Jan 14, 2021

• Show that FSMG.M is a symmetric monoidal groupoid

  FSMGproof
  vikraman/2DTypes#39 · Filter by author vikraman opened on Jan 14, 2021

• Prove the universal property of FSMG

  FSMGproof
  vikraman/2DTypes#38 · Filter by author vikraman opened on Jan 14, 2021

• Prove the symmetric monoidal laws for Fin n with coproduct

  FSMGproof
  vikraman/2DTypes#37 · Filter by author vikraman opened on Jan 14, 2021

• Global goal and plan

  question
  vikraman/2DTypes#30 · Filter by author JacquesCarette opened on Dec 28, 2020
  6

  

• Show that UFin is a symmetric monoidal groupoid

  FSMGproof
  vikraman/2DTypes#18 · Filter by author vikraman opened on Dec 21, 2020

• Fix the problem with termination checker in Diamond

  bugFSMGPiproof
  vikraman/2DTypes#17 · Filter by author inexxt opened on Dec 21, 2020
  

• Write the equivalence between path space of FSMG 1 and Coxeter

  proof
  vikraman/2DTypes#16 · Filter by author vikraman opened on Dec 21, 2020
  1