Fuzzy presheaves are quasitoposes
type: Item
instance of: scholarly article
title: Fuzzy presheaves are quasitoposes
zbMATH Open document ID: 1545.68064
DOI: 10.1007/978-3-031-36709-0_6
author: Aloïs Rosset
author: Roy Overbeek
author: Jörg Endrullis
publication date: 2024-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 05C72
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 18F20
zbMATH DE Number: 7787533
zbMATH Keywords: quasitopos
zbMATH Keywords: presheaf
zbMATH Keywords: fuzzy set
zbMATH Keywords: graph rewriting
MaRDI profile type: Publication
cites work: Q4693062
cites work: Category Theory
cites work: A uniform approach to graph rewriting: The pullback approach
cites work: Concurrency theorems for non-linear rewriting theories
cites work: Q4856547
cites work: Connected limits, familial representability and Artin glueing
cites work: AGREE – Algebraic Graph Rewriting with Controlled Embedding
cites work: The PBPO graph transformation approach
cites work: Sesqui-Pushout Rewriting
cites work: On the axioms for adhesive and quasiadhesive categories
cites work: L-fuzzy sets
cites work: On a Topological Topos
cites work: Q4783274
cites work: Quasitoposes, Quasiadhesive Categories and Artin Glueing
cites work: Foundations of Software Science and Computation Structures
cites work: Adhesive and quasiadhesive categories
cites work: Algebraic approach to single-pushout graph transformation
cites work: Q5639839
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Fuzzy graph theory
cites work: Q4705609
cites work: From linear term rewriting to graph rewriting with preservation of termination
cites work: Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
cites work: Termination of graph transformation systems using weighted subgraph counting
cites work: Modern Trends in Fuzzy Graph Theory
cites work: Transformations of fuzzy graphs specified by FD-grammars
cites work: Categorical approach to the construction of fuzzy graph grammars
cites work: Transformational approach to the development of software architectures on the basis of fuzzy graph models
cites work: Q4074939
cites work: On categories of fuzzy Petri nets
cites work: Q4010275
cites work: L-fuzzy category
cites work: A Modern Introduction to Fuzzy Mathematics
cites work: Q3998741
cites work: Fuzzy sets
description: scientific article; zbMATH DE number 7787533