Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Di Meglio, Matthew"'
Autor:
Di Meglio, Matthew, Heunen, Chris
We characterise the category of finite-dimensional Hilbert spaces and linear contractions using simple category-theoretic axioms that do not refer to norms, continuity, dimension, or real numbers. Our proof directly relates limits in category theory
Externí odkaz:
http://arxiv.org/abs/2401.06584
Autor:
Di Meglio, Matthew
This article introduces R*-categories: an abstraction of categories exhibiting the "algebraic" aspects of the theory of Hilbert spaces. Notably, finite biproducts in R*-categories can be orthogonalised using the Gram-Schmidt process, and generalised
Externí odkaz:
http://arxiv.org/abs/2312.02883
Autor:
Di Meglio, Matthew
Publikováno v:
EPTCS 380, 2023, pp. 400-416
A comprehensive account of the categorical properties of the category of small categories and asymmetric delta lenses is given in the recent works of Chollet et al. and Di Meglio. An important construction for proving many of these properties is John
Externí odkaz:
http://arxiv.org/abs/2307.16553
Autor:
Di Meglio, Matthew
Publikováno v:
EPTCS 372, 2022, pp. 149-163
Lenses encode protocols for synchronising systems. We continue the work begun by Chollet et al. at the Applied Category Theory Adjoint School in 2020 to study the properties of the category of small categories and asymmetric delta lenses. The forgetf
Externí odkaz:
http://arxiv.org/abs/2211.01826
Autor:
Clarke, Bryce, Di Meglio, Matthew
Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributive monoidal category. We define a double category of enriched categorie
Externí odkaz:
http://arxiv.org/abs/2209.01144
Autor:
Di Meglio, Matthew
We study the categorical properties of the category of small categories and asymmetric delta lenses, continuing the work begun by Chollet et al. at the Applied Category Theory Adjoint School 2020. We give complete elementary characterisations of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4744023218d33127cf1cbe9751f7392c