Related papers: Cooperads as Symmetric Sequences
We present a variation of quasi-isometry to approach the problem of defining a geometric notion equivalent to commensurability. In short, this variation can be summarized as "quasi-isometry with uniform parameters for a large enough family…
Simple optics are defined using actions of monoidal categories. Compound optics arise, for instance, as natural transformations between polynomial functors. Since a monoidal category is a special case of a bicategory, we formulate complex…
The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of…
In this paper, we prove a theorem that gives a simple criterion for generating commuting pairs of generalized almost complex structures on spaces that are the product of two generalized almost contact metric spaces. We examine the…
This article gives a solid theoretical grounding to the observation that cubical structures arise naturally when working with parametricity. We claim that cubical models are cofreely parametric. We use categories, lex categories or clans as…
We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use model theoretic techniques and games to show that separation…
We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with…
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…
A novel type of approximants is introduced, being based on the ideas of self-similar approximation theory. The method is illustrated by the examples possessing the structure typical of many problems in applied mathematics. Good numerical…
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
We begin by reviewing the definition of 3-Lie algebras and the fundamental concepts of matched pairs. Subsequently, we introduce the representation theory of matched pairs and define the semidirect product. Building on this foundation, we…
First we introduce a generalization of symmetric spaces to parabolic geometries. We provide construction of such parabolic geometries starting with classical symmetric spaces and we show that all regular parabolic geometries with smooth…
In this paper we discuss generalized group, provides some interesting examples. Further we introduce a generalized module as a module like structure obtained from a generalized group and discuss some of its properties and we also describes…
Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining networks. Different network models describe different kinds of…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
In this paper, we define and study (co)homology theories of a compatible associative algebra $A$. At first, we construct a new graded Lie algebra whose Maurer-Cartan elements are given by compatible associative structures. Then we define…
Coherence simplices are generic topological correlation-function defects supported by a hierarchy of coherence functions. We classify coherence simplices based on their topology and discuss their structure and dynamics, together with their…
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
Cohomologies of nonassociative metagroup algebras are investigated. Extensions of metagroup algebras are studied. Examples are given.