English
Related papers

Related papers: Fuzzy Presheaves are Quasitoposes

200 papers

Let $M$ be a closed hyperbolic $3$-manifold. A homotopy class $[S]$ of surfaces in $M$ is filling if any representative cuts $M$ into components contractible in $M$. We prove that there exist $\epsilon_0, g_0>0$ such that every homotopy…

Geometric Topology · Mathematics 2026-03-20 Xiaolong Hans Han

String diagrams are a powerful tool for reasoning about composite structures in symmetric monoidal categories. By representing string diagrams as graphs, equational reasoning can be done automatically by double-pushout rewriting. !-graphs…

Logic in Computer Science · Computer Science 2016-02-22 Aleks Kissinger , Vladimir Zamdzhiev

We introduced and study fuzzy gamma-hypersemigroups, according to fuzzy semihyper- groups as previously defined [33] and prove that results in this respect. In this regard first we introduce fuzzy hyperoperation and then study fuzzy…

General Mathematics · Mathematics 2013-10-03 R. Ameri , R. Sadeghi

The paper deals with quasigroups having a trivial group of automorphisms and a trivial group of autotopisms. Examples of such quasigroups and methods of their verification are given.

Group Theory · Mathematics 2009-05-26 Andriy I. Deriyenko , Ivan I. Deriyenko , Wieslaw A. Dudek

We study the interplay between notions of quasirandomness for additive sets and for hypergraphs. In particular, we show a strong connection between the notions of Gowers uniformity in the additive setting and discrepancy-type measures of…

Combinatorics · Mathematics 2023-05-05 Davi Castro-Silva

Limits and colimits of diagrams, defined by maps between sets, are universal constructions fundamental in different mathematical domains and key concepts in theoretical computer science. Its importance in semantic modeling is described by…

Logic in Computer Science · Computer Science 2016-04-12 Carlos Leandro , Luís Monteiro

Graph symmetries intervene in diverse applications, from enumeration, to graph structure compression, to the discovery of graph dynamics (e.g., node arrival order inference). Whereas Erd\H{o}s-R\'enyi graphs are typically asymmetric, real…

Probability · Mathematics 2018-12-27 Tomasz Luczak , Abram Magner , Wojciech Szpankowski

We deal with an hypergroupoid endowed with a relation denoted by "$\le$", we call it $\le$--hypergroupoid. We prove that a nonempty subset $A$ of a $\le$--hypergroupoid $H$ is a prime (resp. semiprime) ideal of $H$ if and only if its…

General Mathematics · Mathematics 2016-04-01 Niovi Kehayopulu

In this paper, rough approximations of Cayley graphs are studied and rough edge Cayley graphs are introduced. Furthermore, a new algebraic definition called pseudo-Cayley graphs containing Cayley graphs is proposed. Rough approximation is…

Group Theory · Mathematics 2012-03-13 M. H. Shahzamanian , M. Shirmohammadi , B. Davvaz

In the paper we define the convergence of compact fuzzy sets as a convergence of alpha-cuts in the topology of compact subsets of a metric space. Furthermore we define typical convergences of fuzzy variables and show relations with…

Probability · Mathematics 2009-04-06 Adam Bzowski , Michal K. Urbanski

We generalize the notion of quasielliptic curves, which have infinitesimal symmetries and exist only in characteristic two and three, to a remarkable hierarchy of regular curves having infinitesimal symmetries, defined in all…

Algebraic Geometry · Mathematics 2026-05-27 Cesar Hilario , Stefan Schröer

The class of quasi-median graphs is a generalisation of median graphs, or equivalently of CAT(0) cube complexes. The purpose of this thesis is to introduce these graphs in geometric group theory. In the first part of our work, we extend the…

Group Theory · Mathematics 2017-12-06 Anthony Genevois

The class of quasi-chain graphs is an extension of the well-studied class of chain graphs. This latter class enjoys many nice and important properties, such as bounded clique-width, implicit representation, well-quasi-ordering by induced…

Combinatorics · Mathematics 2021-04-12 Bogdan Alecu , Aistis Atminas , Vadim Lozin , Dmitriy Malyshev

Motivated by the graph associahedron KG, a polytope whose face poset is based on connected subgraphs of G, we consider the notion of associativity and tubes on posets. This leads to a new family of simple convex polytopes obtained by…

Combinatorics · Mathematics 2015-06-16 Satyan L. Devadoss , Stefan Forcey , Stephen Reisdorf , Patrick Showers

Fuzzy ordered linear spaces, Riesz spaces, fuzzy Archimedean spaces and $\sigma$-complete fuzzy Riesz spaces were defined and studied in several works. Following the efforts along this line, we define fuzzy Riesz subspaces, fuzzy ideals,…

Functional Analysis · Mathematics 2015-03-11 Liang Hong

Vertex-stabilizers of trivalent edge-transitive graphs have been classified by Tutte, Goldschmidt and some others in several previous papers. Tetravalent half-arc-transitive graphs form an important class of tetravalent edge-transitive…

Combinatorics · Mathematics 2025-09-01 Jin-Xin Zhou

In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…

Algebraic Topology · Mathematics 2020-04-27 Manuel Norman

Fractional (hyper-)graph theory is concerned with the specific problems that arise when fractional analogues of otherwise integer-valued (hyper-)graph invariants are considered. The focus of this paper is on fractional edge covers of…

Discrete Mathematics · Computer Science 2023-09-25 Georg Gottlob , Matthias Lanzinger , Reinhard Pichler , Igor Razgon

Random graphs have proven to be one of the most important and fruitful concepts in modern Combinatorics and Theoretical Computer Science. Besides being a fascinating study subject for their own sake, they serve as essential instruments in…

Combinatorics · Mathematics 2007-05-23 Michael Krivelevich , Benny Sudakov

It is known that fuzzy set theory can be viewed as taking place within a topos. There are several equivalent ways to construct this topos, one is as the topos of \'{e}tal\'{e} spaces over the topological space $Y=[0,1)$ with lower topology.…

Logic · Mathematics 2018-10-18 John Harding , Carol Walker