منابع مشابه
Interaction Graphs: Graphings
In two previous papers [Sei12b, Sei12a], we exposed a combinatorial approach to the program of Geometry of Interaction, a program initiated by Jean-Yves Girard [Gir89b]. The strength of our approach lies in the fact that we interpret proofs by simpler structures — graphs — than Girard’s constructions, while generalizing the latter since they can be recovered as special cases of our setting. Thi...
متن کاملGraphings and graph sequences
We prove that for any weakly convergent sequence of finite graphs with bounded vertex degrees, there exists a limit graphing. The spectral measure of the Laplacian on the limit graphing is the weak limit of the spectral measures of the Laplacians of the finite graphs. AMS Subject Classifications: 05C80
متن کاملKőnig’s Line Coloring and Vizing’s Theorems for Graphings
The classical theorem of Vizing states that every graph of maximum degree d admits an edge-coloring with at most d + 1 colors. Furthermore, as it was earlier shown by Kőnig, d colors suffice if the graph is bipartite. We investigate the existence of measurable edge-colorings for graphings. A graphing is an analytic generalization of a bounded-degree graph that appears in various areas, such as ...
متن کاملSEQUENTIALLY COMPACT S-ACTS
The investigation of equational compactness was initiated by Banaschewski and Nelson. They proved that pure injectivity is equivalent to equational compactness. Here we define the so called sequentially compact acts over semigroups and study some of their categorical and homological properties. Some Baer conditions for injectivity of S-acts are also presented.
متن کاملCharacteristics of Compact Food bars
Compact FoodBars (CFB) are part of the diets that are named according to the purpose of use, Meal Ready-to-Eat (MRE) used during the maneuvers and military operations, Emergency Food Product (EFP) used in emergencies and crises such as natural disasters and warfare leading to the promotion of crisis management, and Ready-to-Use Therapeutic Food (RUTF) used for therapeutic purposes in malnourish...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Mathematica Hungarica
سال: 2019
ISSN: 0236-5294,1588-2632
DOI: 10.1007/s10474-019-01010-8