Code

Polymorphism#17

Code

Merged

rahulc29 merged 19 commits intomasterrahulc29/realizability:masterfrom polymorphismrahulc29/realizability:polymorphismCopy head branch name to clipboardSep 19, 2024

+23,049-2,063

Commits

Commits on Apr 16, 2024

• Start working on general case for subobject classifiers

  rahulc29

  committed
  05772cc

Commits on May 2, 2024

• Define PERs

  rahulc29

  committed
  4e956d4

Commits on May 6, 2024

• Define PERs and refactor assembly modules

  rahulc29

  committed
  26be6f0

Commits on May 15, 2024

• Start working towards LCCC on Mod

  rahulc29

  committed
  bd065f5

• Remove files not caught in gitignore

  rahulc29

  committed
  56dbf84

Commits on May 20, 2024

• Partial Surjections stuff

  rahulc29

  committed
  a5d8149

• Show modest set morphisms are equivalent to partial surjection morphisms

  rahulc29

  committed
  b40f374

Commits on May 25, 2024

• Right adjoint to pullback functor ASM

  rahulc29

  committed
  f06f4a1

Commits on May 30, 2024

• Archive

  rahulc29

  committed
  d644d36

Commits on Jun 5, 2024

• Archive

  rahulc29

  committed
  827bf93

Commits on Jun 25, 2024

• Finite Limits for PERs

  rahulc29

  committed
  41d4f18

Commits on Jun 26, 2024

• Families of modest sets as displayed category

  rahulc29

  committed
  73d04b5

Commits on Jun 27, 2024

• Define Small PERs and Equivalence to ordinary PERs

  rahulc29

  committed
  1c1ecc3

Commits on Jul 4, 2024

• Subquotient modest set and canonical PER of a modest set

  rahulc29

  committed
  2d33f50

Commits on Jul 5, 2024

• Subquotient and Canonical PER Operations

  rahulc29

  committed
  0c8e626

Commits on Jul 7, 2024

• Fix performance issues

  rahulc29

  committed
  75c6f59

Commits on Aug 16, 2024

• Isomorphism of PERs and Modest Sets

  rahulc29

  committed
  1b95e78

Commits on Aug 25, 2024

• Subquotient functor

  rahulc29

  committed
  a84a79b

Commits on Sep 19, 2024

• Render HTML

  rahulc29

  committed
  02fc360