|
|
 |
| Результат поиска |
Поиск книг, содержащих: Power object
| Книга | Страницы для поиска | | Adamek J., Herrlich H., Stecker G.E. — Abstract and Concrete Categories - The Joy of Cats | 27.2 | | MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 162 | | Sketches — A supplement for Category theory for computing science | 60 | | Barr M., Wells C. — Toposes, Triples and Theories | 73, 165, 170, 172 | | Jacobs B. — Categorical Logic and Type Theory | 341, 346 | | Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | A2.1.1, A3.4.5 | | Bird R., de Moor O. — Algebra of programming | 103 |
|
|
|
|
О проекте