Commits · master · HoTT / hott-set-theory

"src/client/reducers/general/helpers.js" did not exist on "3d03ac5e2e549932653114b234f98a9cf0d0ce2b"

Apr 19, 2025
- Combine stuff for links from the paper · 40ce07b4
  Elisabeth Stenholm authored 3 days ago
  
  with-corec-emb-iff-simple
  
  40ce07b4
Mar 09, 2025
- Prettify proof of associativity for coalgebra hom composition · 1b6d0fc3
  Elisabeth Stenholm authored 1 month ago
  
  1b6d0fc3
- Add proof of associativity in category of coalgebras · bc24dacd
  Elisabeth Stenholm authored 1 month ago
  
  bc24dacd
Feb 27, 2025
- Refactor so that everything compiles · f097db0f
  Elisabeth Stenholm authored 1 month ago
  
  f097db0f
Feb 23, 2025
- Change definition of bisimulation for containers · 087bf14f
  Elisabeth Stenholm authored 1 month ago
  
  087bf14f
Feb 22, 2025
- Change universe levels in functor definition · 6c552b4a
  Elisabeth Stenholm authored 1 month ago
  
  6c552b4a
Feb 12, 2025
- Prove that a coalgebra is simple iff bisimulation simple · 5e8b4a6e
  Elisabeth Stenholm authored 2 months ago
  
  5e8b4a6e
Feb 11, 2025
- Prove equivalence of bisimulation hom into identity and pairs of homs · a3a78696
  Elisabeth Stenholm authored 2 months ago
  
  a3a78696
Feb 07, 2025
- Define bisimulation homomorphisms · f5aac36a
  Elisabeth Stenholm authored 2 months ago
  
  f5aac36a
Feb 04, 2025
- Define bisimulation as a span in the category of coalgebras for a wild functor · f4e10f33
  Elisabeth Stenholm authored 2 months ago
  
  f4e10f33
Nov 24, 2024
- Small fix · ecfab316
  Elisabeth Stenholm authored 4 months ago
  
  ecfab316
Nov 18, 2024
- Remove rewrite flags · 57c5a4ef
  Elisabeth.Stenholm authored 5 months ago
  
  57c5a4ef
Nov 11, 2024
- Remove image rewrite · d413663d
  Elisabeth.Stenholm authored 5 months ago
  
  d413663d
Jul 11, 2024
- Change restricted separation to use El · c26563a5
  Elisabeth.Stenholm authored 9 months ago
  
  paper-univalent-material-set-theory
  
  c26563a5
Jul 10, 2024
- Add formalisation of V^n as a Tarski universe · 3cdac3a1
  Elisabeth.Stenholm authored 9 months ago
  
  3cdac3a1
Jul 07, 2024
- Remove comment · 616b9ac9
  Elisabeth Stenholm authored 9 months ago
  
  paper-non-wellfounded-set-theory-preprint
  
  616b9ac9
- Prove that a coalgebra is bisim simple iff simple · b27f84bc
  Elisabeth Stenholm authored 9 months ago
  
  b27f84bc
Jul 05, 2024
- Prove equality of bisimulation homs and equalities of homs · 76651877
  Elisabeth Stenholm authored 9 months ago
  
  76651877
Jul 04, 2024
- New version of SAFA · 016155e8
  Elisabeth Stenholm authored 9 months ago
  
  016155e8
Jun 22, 2024
- Fix SAFA · cf61b319
  Elisabeth Stenholm authored 9 months ago
  
  cf61b319
May 27, 2024
- Define and prove AFA and SAFA · 702b076d
  Elisabeth.Stenholm authored 10 months ago
  
  702b076d
Mar 17, 2024
- Fix definition of indexed container · 1478d23e
  Elisabeth Stenholm authored 1 year ago
  
  1478d23e
Mar 15, 2024
- Show that V∞∞ is locally small · f9bc9121
  Elisabeth Stenholm authored 1 year ago
  
  f9bc9121
- Construct equivalence for homomorphisms of indexed container characterising equality in M-types · 5147fde1
  Elisabeth Stenholm authored 1 year ago
  
  5147fde1
Feb 23, 2024
- Show equivalence between bisimulations and indexed coalgebras · c3a6e2d4
  Elisabeth.Stenholm authored 1 year ago
  
  c3a6e2d4
Feb 22, 2024
- Improve a proof · 2b729c9d
  Elisabeth.Stenholm authored 1 year ago
  
  2b729c9d
Feb 21, 2024
- Merge branch 'm-types' · 33c1f53d
  Elisabeth.Stenholm authored 1 year ago
  
  33c1f53d
- Merge + refactor V_∞^n · 0739565d
  Elisabeth.Stenholm authored 1 year ago
  
  0739565d
Feb 05, 2024
- Add naturality condition to V0 CwF · 677c050d
  Elisabeth.Stenholm authored 1 year ago
  
  paper-category-of-iterative-sets
  
  677c050d
Feb 02, 2024
- wip CwF structure on V0 · 6bb405ea
  Elisabeth.Stenholm authored 1 year ago
  
  6bb405ea
Jan 30, 2024
- Add equivalence of internalisations an truncated maps · 5d33cc06
  Elisabeth.Stenholm authored 1 year ago
  
  5d33cc06
Jan 09, 2024
- Improve proof of cumulativity of V^n · 623a11bb
  Elisabeth.Stenholm authored 1 year ago
  
  623a11bb
Dec 14, 2023
- Fixes · 507fa26b
  Elisabeth.Stenholm authored 1 year ago
  
  507fa26b
Dec 12, 2023
- Construct ordered pairs for e-structure of given level · 9fc3971d
  Elisabeth.Stenholm authored 1 year ago
  
  9fc3971d
- Fix · 99a292b6
  Elisabeth.Stenholm authored 1 year ago
  
  99a292b6
- Make carrier implicit in is-extensional · 01e4bc7e
  Elisabeth.Stenholm authored 1 year ago
  
  01e4bc7e
Dec 11, 2023
- Fixes · e910286d
  Elisabeth.Stenholm authored 1 year ago
  
  e910286d
Dec 01, 2023
- Update submodule · bfa0a9c2
  Elisabeth.Stenholm authored 1 year ago
  
  bfa0a9c2
Nov 30, 2023
- Construct W-types in V∞ · 6419f443
  Elisabeth.Stenholm authored 1 year ago
  
  6419f443
- wip on W-types in V^n · fadf8929
  Elisabeth.Stenholm authored 1 year ago
  
  fadf8929