Zobrazeno 1 - 10
of 3 677
pro vyhledávání: '"A Capucci"'
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation, including
Externí odkaz:
http://arxiv.org/abs/2409.05763
In many sciences one often builds large systems out of smaller constituent parts. Mathematically, to study these systems, one can attach data to the component pieces via a functor F. This is of great practical use if F admits a compositional structur
Externí odkaz:
http://arxiv.org/abs/2407.03488
Autor:
Capucci, Matteo
We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative reals $[0,\infty]$, showing they support three generations of connectiv
Externí odkaz:
http://arxiv.org/abs/2406.04936
Organizing physics has been a long-standing preoccupation of applied category theory, going back at least to Lawvere. We contribute to this research thread by noticing that Hamiltonian mechanics and gradient descent depend crucially on a consistent c
Externí odkaz:
http://arxiv.org/abs/2404.16140
Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction, generalizing Ho
Externí odkaz:
http://arxiv.org/abs/2403.16388
Autor:
Veronica Tisato, Juliana A. Silva, Fabio Scarpellini, Roberta Capucci, Roberto Marci, Ines Gallo, Francesca Salvatori, Elisabetta D’Aversa, Paola Secchiero, Maria L. Serino, Giorgio Zauli, Ajay V. Singh, Donato Gemmati
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-15 (2024)
Abstract Spontaneous abortion is a pregnancy complication characterized by complex and multifactorial etiology. About 5% of childbearing women are globally affected by early pregnancy loss (EPL) and most of them experience recurrence (RPL). Epigeneti
Externí odkaz:
https://doaj.org/article/75b58436cab84529ae29a1d613d4f356
Autor:
Capucci, Matteo
Publikováno v:
EPTCS 380, 2023, pp. 145-158
We improve the framework of open games with agency by showing how the players' counterfactual analysis giving rise to Nash equilibria can be described in the dynamics of the game itself (hence diegetically), getting rid of devices such as equilibrium
Externí odkaz:
http://arxiv.org/abs/2206.12338
Autor:
Capucci, Matteo
Tambara modules are strong profunctors between monoidal categories. They've been defined by Tambara in the context of representation theory, but quickly found their way in applications when it was understood Tambara modules provide a useful encoding
Externí odkaz:
http://arxiv.org/abs/2204.10708
Autor:
Capucci, Matteo, Gavranović, Bruno
Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic seems to be missing from the literature. Recently, actegories have been i
Externí odkaz:
http://arxiv.org/abs/2203.16351
Autor:
Videla, Andre, Capucci, Matteo
We implement the semantics of server operations using parameterised lenses. They allow us to define endpoints and extend them using classical lens composition. The parameterised nature of lenses models state updates while the lens laws mimic properti
Externí odkaz:
http://arxiv.org/abs/2203.15633