Browsing 2023 by Subject
Now showing items 1-4 of 4
| Subject |
|---|
| lax comma 2-categories [1] |
| lax descent category [1] |
| lax epimorphisms [1] |
| Logical Relations [1] |
| Subject |
|---|
| lax comma 2-categories [1] |
| lax descent category [1] |
| lax epimorphisms [1] |
| Logical Relations [1] |