Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Прикладная теория категорий. Монография
.pdf
Cockett R., Gallagher J., MacAdam B., Pronk D., Cruttwell G.,
Pacaud Lemay J. S., Plotkin G. (2020). Reverse Derivative Categories. In: 28. EACSL Annual Conference on Computer Science Logic
(CSL 2020), Barcelona (Spain), 13—16 Jun 2020 —. Lipics, 2020. —
pp. 285—302.
Coecke B., Grefenstette E., Sadrzadeh M. Lambek vs. Lambek:
Functorial vector space semantics and string diagrams for Lambek calcu
lus // Annals of pure and applied logic. — 2013. — V. 164. — №. 11. —
pp. 1079—1100.
Coecke B., Paquette E. O. Categories for the practising physicist
// New structures for physics. — Berlin, Heidelberg: Springer Berlin
Heidelberg, 2010. — pp. 173—286.
Coecke B., Sadrzadeh M., Clark S. J. Mathematical foundations
for a compositional distributional model of meaning // Linguistic
Analysis. — 2010. — V. 36. — №. 1. — pp. 345—384.
Cruttwell G. S., Gavranović B., Ghani N., Wilson P., Zanasi F.
Categorical foundations of gradient-based learning // European Symposium on Programming. — Cham: Springer International Publishing, 2022. — pp. 1—28.
Delpeuch A. Autonomization of monoidal categories // arXiv preprint arXiv:1411.3827. — 2020. — URL: https://doi.org/10.48550/
arXiv.1411.3827
Diskin Z., Maibaum T. Category theory and model-driven engineering: From formal semantics to design patterns and beyond //
Model-Driven Engineering of Information Systems: Principles, Techniques, and Practice. — 2014. — pp. 173—206.
Ferré S., Huchard M., Kaytoue M., Kuznetsov S.O., Napoli A.
Formal concept analysis: from knowledge discovery to knowledge
processing //A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms. — 2020. — pp. 411—445.
Fong B., Spivak D.I., An Invitation to Applied Category Theory:
Seven Sketches in Compositionality. London: Cambridge University
Press, 2019. — 348 p.
Fong B., Spivak D., Tuyéras R. Backprop as functor: A compositional perspective on supervised learning // 2019 34th Annual ACM/
IEEE Symposium on Logic in Computer Science (LICS). — IEEE, 2019. —
pp. 1—13.
Foster J. N., Greenwald M. B., Moore J. T., Pierce B. C.,
Schmitt A.. Combinators for bi-directional tree transformations: a
linguistic approach to the view update problem //ACM SIGPLAN Notices. — 2005. — V. 40. — №. 1. — pp. 233—246.
Freyd P. J. Abelian categories. — New York: Harper & Row,
1964. — V. 1964. — 164 p.
Galitsky B. Discourse-level dialogue management //Developing
Enterprise Chatbots. — Springer, Cham, 2019. — pp. 365—426.
161
Galitsky B. Artificial intelligence for customer relationship
management. — Springer International Publishing, Cham., 2020,
XI+445 p. — URL: https://doi. org/10.1007/978-3-030-52167-7
Ganter B., Stumme G., Wille R. (ed.). Formal concept analysis:
foundations and applications. — springer, 2005. — V. 3626. — 345 p.
Ganter B., Wille R. Formal concept analysis: mathematical
foundations. — Springer Nature, 2024. 370 p.
Hammond K. J., Leake D. B. Large Language Models Need Symbolic AI // NeSy. — 2023. — pp. 204—209.
Harding, J., Walker, C., Walker, E. Categories with fuzzy sets
and relations // Fuzzy Sets and Systems. — 2014. — V. 256. — N 1. —
pp. 149—165.
Harris Z. S. Distributional structure // Word. — 1954/ —
10(2—3). — pp. 146—162
Hinze R., Marsden D. Introducing string diagrams: the art of
category theory. — Cambridge University Press, 2023. — 182 p.
Johnson S.J., Murty M.R., Navakanth I.A detailed review on word
embedding techniques with emphasis on word2vec // Multimedia Tools
and Applications. — 2024. — V. 83. — №. 13. — pp. 37979—38007.
Jipsen P. Categories of algebraic contexts equivalent to idempotent semirings and domain semirings //International Conference on
Relational and Algebraic Methods in Computer Science. — Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. — pp. 195—206.
Kelly G.M. Basic Concepts of Enriched Category Theory // London
Mathematical Society Lecture Note Series. — 1982. — V. 64. — 136 p.
Kelly G.M., Laplaza M.L. Coherence for compact closed categories
//Journal of pure and applied algebra. — 1980. — V. 19. — pp. 193—213.
Kleinberg J.M. An impossibility theorem for clustering. in Advances in Neural Information Processing Systems 15 NIPS, ed. by
S. Becker, S. Thrun, K. Obermayer. — MIT Press, Cambridge, 2002. —
pp. 446—453.
Kneser R., Ney H. Improved backing-off for m-gram language
modeling //1995 international conference on acoustics, speech, and
signal processing. — IEEE, 1995. — V. 1. — pp. 181—184.
Kuznetsov S. O., Makhazhanov N., Ushakov M. On neural network architecture based on concept lattices //International Symposium on Methodologies for Intelligent Systems. — Cham: Springer
International Publishing, 2017. — pp. 653—663.
Lamarche F., Lecomte A., Perrier G. (ed.). Logical Aspects of
Computational Linguistics. — Springer, 1999. — pp. 1—27.
Lambek J. The mathematics of sentence structure // American
Mathematical Monthly. —1958. — 65. — pp. 154—170.
Lambek J. Type grammar revisited // Logical Aspects of Computational Linguistics: Second International Conference, LACL'97
162
Nancy, France, September 22—24, 1997 Selected Papers 2. — Springer Berlin Heidelberg, 1999. — pp. 1—27.
Lambek J. From Word to Sentence: a computational algebraic
approach to grammar. — Polimetrica sas, 2008. — 148 p.
Lambek J. Compact monoidal categories from linguistics to
physics // New structures for physics. — Berlin, Heidelberg: Springer
Berlin Heidelberg, 2010. — pp. 467—487.
Lappin S. Assessing the strengths and weaknesses of Large
Language Models // Journal of Logic, Language and Information. —
2024. — V. 33. — №. 1. — pp. 9—20.
Lawvere F. W. Functorial semantics of algebraic theories //Proceedings of the National Academy of Sciences. — 1963. — V. 50. —
№. 5. — pp. 869—872.
Lenci A., Sahlgren M., Jeuniaux P., Cuba Gyllensten A., Miliani
M.. A comparative evaluation and analysis of three generations of Distributional Semantic Models // Language resources and evaluation. —
2022. — V. 56. — №. 4. — pp. 1269—1313.
Levy O., Goldberg Y. Neural word embedding as implicit matrix
factorization // Advances in neural information processing systems.
— 2014. — V. 27. — pp. 1—9.
Loregian F. (Co) end calculus. — Cambridge University Press,
2021. — v. 468, 330 p.
Majkic Z. Category Theory: Invariances and Symmetries in Computer Science. — Walter de Gruyter GmbH & Co KG, 2023. — 404 p.
Mikolov T., Sutskeve, I., Chen K., Corrado G. S., Dean J. Distributed representations of words and phrases and their compositionality
//Advances in neural information processing systems (C.J. Burges,
L. Bottou, M. Welling, Z. Ghahramani, and K.Q. Weinberger, eds.),
vol. 26, Curran Associates, Inc., 2013. — pp. 1—9.
Milewski B. Category theory for programmers. — Bartosz
Milewski, 2019, 474 p.
Moot R., Retoré C. The logic of categorial grammars: a deductive account of natural language syntax and semantics. — Springer,
2012. — V. 6850. — 302 p.
Mori H. Chu correspondences // Hokkaido Mathematical Journal. — 2008. — V. 37. — №. 1. — pp. 147—214.
Moshier M.A. A Relational Category of Birkhoff Polarities //
arXiv preprint arXiv:2408.09080. — 2024.
Murphy G. The big book of concepts. — MIT press, 2004. — 555 p.
Pavlovic D. Programs as diagrams: From categorical computability to computable categories. — Springer Nature, 2023. — 252 p.
Pavlovic D. Language processing in humans and computers //
arXiv preprint arXiv:2405.14233. — 2024.
Pavlovic D., Hughes D. J. D. Nucleus I: Adjunction spectra in recommender systems and descent // arXiv preprint arXiv:2004.07353. — 2020.
163
Pierce B.C. Basic category theory for computer scientists. —
MIT press, 1991. — 116 p.
Poelmans, J., Ignatov, D. I., Kuznetsov, S. O., & Dedene, G. Formal concept analysis in knowledge processing: A survey on applications
// Expert systems with applications. — 2013. — V. 40. — №. 16. —
pp. 6538—6560.
Riehl E. Categorical homotopy theory. — Cambridge University
Press, 2014. — V. 24, 272 p.
Riehl E. Category theory in context. — Courier Dover Publications, 2017, 240 p.
Rong X. word2vec Parameter Learning Explained // arXiv preprint arXiv:1411.2738 — 2014.
Sahlgren M. (2008). The distributional hypothesis // Italian
Journal of Linguistics. — 2008. — 20(1). pp. 31—51.
Schultz P. Spivak D.I., Vasilakopoulou C., Wisnesky R. Algebraic databases //Theory and Applications of Categories. — 2017. —
V. 32. — №. 16. — pp. 547—619.
Selinger P. Dagger compact closed categories and completely
positive maps //Electronic Notes in Theoretical computer science. —
2007. — v. 170. — pp. 139—163.
Smilkov D. Thorat, N. Nicholson C., Reif, E., Viégas F. B., Wattenberg M. Embedding projector: Interactive visualization and interpretation of embeddings // arXiv preprint arXiv:1611.05469. — 2016.
Spivak D.I. Category theory for scientists // arXiv preprint
arXiv:1302.6946. — 2013.
Tull S. Monoidal categories for formal concept analysis //arXiv
preprint arXiv:2012.08268. — 2020.
Vidalie J., Batteux M., Mhenni F., Choley J.Y. Category theory
framework for system engineering and safety assessment model synchronization methodologies // Applied Sciences. — 2022. — V. 12. —
№. 12. — p. 5880.
Wille R. Concept lattices and conceptual knowledge systems //
Computers & mathematics with applications. — 1992. — V. 23. —
№. 6—9. — pp. 493—515.
Yanofsky N.S. Theoretical computer science for the working
category theorist. — Cambridge University Press, 2022. — 139 p.
164
Для справок
Научное издание
ГИСИН Владимир Борисович
Прикладная теория категорий
Монография
Публикуется в авторской редакции
Дизайн обложки Вершинина И.А.
Верстка Асташин Е. О.
Издательство «Прометей»
119002 Москва, ул. Арбат, д. 51, стр. 1
Тел/факс: +7 (495) 730-70-69
E-mail: info@prometej.su
Подписано в печать 08.04.2025.
Формат 60×84/16. Объем 10,375 п.л.
Тираж 500 экз. Заказ № 1980
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]