Type Theory Notes

List of Types in Type Theories

  1. Equivariant Homotopy Type
  2. Finite Homotopy Type
  3. Homotopy Type
  4. Homotopy-0 Type
  5. Homotopy-1 Type
  6. Homotopy-2 Type
  7. Homotopy-3 Type
  8. Homotopy-n Type
  9. Cohesive Homotopy Type
  10. Geometric Homotopy Type
  11. Pointed Homotopy Type
  12. Profinite Homotopy Type
  13. Schematic Homotopy Type
  14. Smooth Homotopy Type
  15. Inductive Type
  16. Higher Inductive Type
  17. Inductive-Inductive Type
  18. Inductive-Recursive Type
  19. Dependent type
  20. Dependent sum Type
  21. Dependent product Type
  22. Coinductive Type
  23. Product Type
  24. Sum Type
  25. Empty Type
  26. Identity Type
  27. Enumerated Type
  28. Fibrant Type
  29. Finite Type
  30. Function Type
  31. Galois Type
  32. Algebraic Data Type
  33. Interval Type
  34. M-Type
  35. Modal Type
  36. Negative Type
  37. Pointed Type
  38. Unit Type
  39. Union Type
  40. Connected Type
  41. Order Type
  42. Positive Type
  43. Quality Type
  44. Quotient Type
  45. Structure Type
  46. Stuff Type
  47. Suspension Type
  48. Presheaf Type
  49. W-Type
  50. Anti-Reduced Type

Resources

  1. https://github.com/atennapel/coc-os