Related papers: Generalized spaces for constructive algebra
In this paper, we introduce a new notion of representation for a locally convex partial *-algebraic module as a concrete space of maps. This is a continuation of our systematic study of locally convex partial *-algebraic modules, which are…
We study locally finite varieties (=primitive classes) of linear algebras over finite fields. We do not assume that our algebras are associative or Lie. We are interested in the basic properties of finite algebras in these varieties such…
This work provides a generalization of the Gelfand duality to the context of noncommutative locally $C^*$ algebras. Using a reformulation of a theorem proven by Dauns and Hofmann in the 60's we show that every locally $C^*$ algebra can be…
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…
The purely mathematical root of the dequantization constructions is the quest for a sheafification needed for presheaves on a noncommutative space. The moment space is constructed as a commutative space, approximating the noncommutative…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
In this article ideas from Kit Fine's theory of arbitrary objects are applied to questions regarding mathematical structuralism. I discuss how sui generic mathematical structures can be viewed as generic systems of mathematical objects,…
We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results using generalized points support a fully pointwise notation…
We study a class of lattice field theories in two dimensions that includes gauge theories. We show that in these theories it is possible to implement a broader notion of local symmetry, based on semi-simple Hopf algebras. A character…
The works of R. Descartes, I. M. Gelfand and A. Grothendieck have convinced us that commutative rings should be thought of as rings of functions on some appropriate (commutative) spaces. If we try to push this notion forward we reach the…
We introduce an approach to the categorification of rings, via the notion of distributive categories with negative objects, and use it to lay down categorical foundations for the study of super, quantum and non-commutative combinatorics.…
We present a differential algebra of generalized functions over a field of generalized scalars by means of several axioms in terms of general algebra and topology. Our differential algebra is of Colombeau type in the sense that it contains…
Generalized Functions play a central role in the understanding of differential equations containing singularities and nonlinearities. Introducing infinitesimals and infinities to deal with these obstructions leads to controversies…
There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…
These are lecture notes on the algebraic approach to regular languages. The classical algebraic approach is for finite words; it uses semigroups instead of automata. However, the algebraic approach can be extended to structures beyond…
We examine generalized global symmetries as a kind of compactly supported cohomology, and so are led to revisit questions about the locality of quantum field theory, following Segal. Physics naturally suggests a generalization of…
A notion of general manifolds is introduced. It covers all usual manifolds in mathematics. Essentially, it is a way how to get a bigger 'fibration' over a site which locally coincides with a given one. An enrichment with generalized…
This document develops general concepts useful for extracting knowledge embedded in large graphs or datasets that have pair-wise relationships, such as cause-effect-type relations. Almost no underlying assumptions are made, other than that…
Inspired by the works in linkage theory of modules, we define the concept of linkage of sheaves of modules as a generalization of linkage of modules. Thus, we expressed it in geometry algebraic language. We show that the linkedness of…