https://github.com/HoTT/HoTT
Tip revision: d66af2d5696fc49b38653d2397db3948d512726a authored by Ali Caglayan on 01 April 2024, 09:28:53 UTC
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Tip revision: d66af2d
| File | Mode | Size |
|---|---|---|
| Algebra | ||
| Analysis | ||
| Axioms | ||
| Basics | ||
| Categories | ||
| Classes | ||
| Colimits | ||
| Cubical | ||
| Diagrams | ||
| Equiv | ||
| HIT | ||
| Homotopy | ||
| Limits | ||
| Metatheory | ||
| Modalities | ||
| Pointed | ||
| PropResizing | ||
| Sets | ||
| Spaces | ||
| Spectra | ||
| Tactics | ||
| Truncations | ||
| Types | ||
| WildCat | ||
| Basics.v | -rw-r--r-- | 354 bytes |
| BoundedSearch.v | -rw-r--r-- | 3.8 KB |
| Categories.v | -rw-r--r-- | 4.9 KB |
| Constant.v | -rw-r--r-- | 6.0 KB |
| Cubical.v | -rw-r--r-- | 167 bytes |
| DProp.v | -rw-r--r-- | 9.7 KB |
| EquivGroupoids.v | -rw-r--r-- | 6.5 KB |
| ExcludedMiddle.v | -rw-r--r-- | 1.7 KB |
| Extensions.v | -rw-r--r-- | 33.6 KB |
| Factorization.v | -rw-r--r-- | 14.3 KB |
| Functorish.v | -rw-r--r-- | 1.2 KB |
| HFiber.v | -rw-r--r-- | 8.8 KB |
| HProp.v | -rw-r--r-- | 4.4 KB |
| HSet.v | -rw-r--r-- | 5.1 KB |
| HoTT.v | -rw-r--r-- | 6.3 KB |
| Idempotents.v | -rw-r--r-- | 34.4 KB |
| Misc.v | -rw-r--r-- | 712 bytes |
| NullHomotopy.v | -rw-r--r-- | 2.4 KB |
| ObjectClassifier.v | -rw-r--r-- | 7.5 KB |
| PathAny.v | -rw-r--r-- | 4.3 KB |
| Pointed.v | -rw-r--r-- | 275 bytes |
| Projective.v | -rw-r--r-- | 5.8 KB |
| Tactics.v | -rw-r--r-- | 21.6 KB |
| TruncType.v | -rw-r--r-- | 5.7 KB |
| Truncations.v | -rw-r--r-- | 133 bytes |
| Types.v | -rw-r--r-- | 364 bytes |
| Utf8.v | -rw-r--r-- | 2.8 KB |
| Utf8Minimal.v | -rw-r--r-- | 676 bytes |
| WildCat.v | -rw-r--r-- | 1.0 KB |
| dune | -rw-r--r-- | 330 bytes |
