The following pages link to (Q3998741):
Displaying 33 items.
- Some corollaries of the correspondence between partial metrics and multivalued equalities (Q277333) (← links)
- Adding fuzziness to terms and powerobjects using a monadic approach (Q419043) (← links)
- Preordered sets valued in a GL-monoid (Q427913) (← links)
- Lexicographic sums and fibre-faithful maps (Q690380) (← links)
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years (Q812585) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- On a generalization of Goguen's category \({\mathcal S}et(L)\) (Q868302) (← links)
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology (Q881819) (← links)
- Remarks on quasi-topologies (Q949834) (← links)
- Implication structures, fuzzy subsets, and enriched categories (Q969578) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Residuated semigroups and morphological aspects of translation invariant systems (Q1282894) (← links)
- Categorical differentiation theory and Cauchy continuity (Q1313942) (← links)
- Reconstruction in a generalized model for translation invariant systems (Q1367514) (← links)
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- A survey on the categorical term construction with applications (Q1677940) (← links)
- Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
- On bornologies, locales and toposes of \(M\)-sets (Q1861453) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Parametrized spaces model locally constant homotopy sheaves (Q2470424) (← links)
- Free Monoids over Semigroups in a Monoidal Category: Construction and Applications (Q3448549) (← links)
- Birkhoff-Frink representations as functors (Q3560968) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
- New Algebras and Logic from a Category of Rough Sets (Q5082209) (← links)
- Lectures on the Topological Vertex (Q5302219) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
- Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
- Fuzzy presheaves are quasitoposes (Q6535509) (← links)
