injective-type

There are 0 repository under injective-type topic.

• martinescardo / TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  univalent-foundationsagdahomotopy-type-theorytype-theoryconstructive-mathematicscompact-typetotally-separated-typeinjective-typeordinalsearchable-setunivalent-mathematics
  Language:Agda 212