scientific article
From MaRDI portal
Publication:3998741
zbMath0727.18001MaRDI QIDQ3998741
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Topoi (18B25) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Categories of topological spaces and continuous mappings (18F60)
Related Items (28)
Some corollaries of the correspondence between partial metrics and multivalued equalities ⋮ The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Free Monoids over Semigroups in a Monoidal Category: Construction and Applications ⋮ Reconstruction in a generalized model for translation invariant systems ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches ⋮ On a generalization of Goguen's category \({\mathcal S}et(L)\) ⋮ New Algebras and Logic from a Category of Rough Sets ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ A survey on the categorical term construction with applications ⋮ Functional distribution monads in functional-analytic contexts ⋮ Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ Presheaf models for CCS-like languages ⋮ Adding fuzziness to terms and powerobjects using a monadic approach ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Preordered sets valued in a GL-monoid ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ Birkhoff-Frink representations as functors ⋮ Parametrized spaces model locally constant homotopy sheaves ⋮ Lexicographic sums and fibre-faithful maps ⋮ Sobriety for equilogical spaces ⋮ Implication structures, fuzzy subsets, and enriched categories ⋮ On the structure of categories of coalgebras ⋮ HasCasl: integrated higher-order specification and program development ⋮ Residuated semigroups and morphological aspects of translation invariant systems ⋮ Categorical differentiation theory and Cauchy continuity ⋮ On bornologies, locales and toposes of \(M\)-sets ⋮ Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
This page was built for publication:
