Литература:
- Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic
- Голдблатт Р. - Топосы. Категорный анализ логики
Темы докладов:
- Категории, функторы
- Естественные преобразования
forked from shd/category-logic-2023
-
Notifications
You must be signed in to change notification settings - Fork 0
FeorgeGeorge/category-logic-2023
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TeX 100.0%