arXiv subjects

Edouard Balzin

Publications and source records attributed to Edouard Balzin.

4 recordsLinked to original sources

arXiv2021

A Neural Network for Semigroups

Tasks like image reconstruction in computer vision, matrix completion in recommender systems and link prediction in graph theory, are well studied in machine learning literature. In this work, we apply a denoising autoencoder-based neural network architecture to the task of completing partial multiplication (Cayley) tables of finite semigroups. We suggest a novel loss function for that task based on the algebraic nature of the semigroup data. We also provide a software package for conducting experiments similar to those carried out in this work. Our experiments showed that with only about 10% of the available data, it is possible to build a model capable of reconstructing a full Cayley from only half of it in about 80% of cases.

cs.LG↗

arXiv2019

Reedy Model Structures in Families

Given a family of model categories $\cal E \to \cal R$ over a Reedy category, we outline a set of conditions which lead to the existence of a Reedy model structure on the category of sections ${\sf Sect}(\cal R, \cal E)$. We prove that for a wide class of examples, this model structure serves as a strictification of the $(\infty,1)$-category of sections of the higher-categorical family associated to $\cal E \to \cal R$.

math.CT↗

arXiv2018

The formalism of Segal sections

Given a family of model categories $\cal E \to \cal C$, we associate to it a homotopical category of derived, or Segal, sections $DSect(\cal C,\cal E)$ that models the higher-categorical sections of the localisation $L\cal E \to \cal C$. The derived sections provide an alternative, strict model for various higher algebra objects appearing in the work of Lurie. We prove a few results concerning the properties of the homotopical category $DSect(\cal C,\cal E)$, and as an example, study its behaviour with respect to the base-change along a select class of functors.

math.CT↗

arXiv2016

Derived sections of Grothendieck fibrations and the problems of homotopical algebra

The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $Γ$-spaces. The formalism of topological operads generalises well to different categories yielding such notions as $\mathbb E_n$-algebras in chain complexes, while the $Γ$-space approach faces difficulties. In this paper we discuss how, by attempting to extend the Segal approach to arbitrary categoires, one arrives to the problem of understanding "weak" sections of a homotopical Grothendieck fibration. We propose a model for such sections, called derived sections, and study the behaviour of homotopical categories of derived sections under the base change functors. The technology developed for the base-change situation is then applied to a specific class of "resolution" base functors, which are inspired by cellular decompositions of classifying spaces. For resolutions, we prove that the inverse image functor on derived sections is homotopically full and faithful.

math.CT↗