Skip to content

Instantly share code, notes, and snippets.

@phantamanta44

phantamanta44/hott_skribbl.csv

Created August 5, 2022 16:30
Show Gist options
  • Save phantamanta44/1634bf1c7f133d3b1293e97fd99e67f3 to your computer and use it in GitHub Desktop.
Save phantamanta44/1634bf1c7f133d3b1293e97fd99e67f3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
hott_skribbl.csv
absurd adjunction affine connection Agda axiom axiom of choice baba blahaj category cobordism cofinality coherence composition contractible coproduct cosheaf directed graph emacs embedding equivalence extensionality fibration functorial groupoid hcomp holonomy homothety homotopy Hopf fibration identity induction infinity groupoid interval loop space monadicity monodromy parallel transport path induction path over path proof proof assistant proof tree proposition pullback pushout quotient recursion reflexivity simplex smugcube substitution suspension torus total space transport truncation type type theory ultracategory univalence universe variable whiskering yoneda lemma
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment