Metric spaces, generalized logic, and closed categories
From MaRDI portal
Publication:4102032
DOI10.1007/BF02924844zbMath0335.18006MaRDI QIDQ4102032
Publication date: 1974
Published in: Rendiconti del Seminario Matematico e Fisico di Milano (Search for Journal in Brave)
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)
Related Items (only showing first 100 items - show all)
Completely distributive enriched categories are not always continuous ⋮ Embeddability into Relational Lattices Is Undecidable ⋮ Formal balls of Q-categories ⋮ Approximable triangulated categories ⋮ On relating some models for concurrency ⋮ Augmented virtual double categories ⋮ Quantale-valued Cauchy tower spaces and completeness ⋮ Freely adjoining monoidal duals ⋮ Quantale-Enriched Multicategories Via Actions ⋮ A topos for continuous logic ⋮ Local T2 extended pseudo-quasi-semi metric spaces ⋮ Temporal structures ⋮ T-complete KM-fuzzy metric spaces via domain theory ⋮ A categorical isomorphism between injective balanced \(L\)-\(S_0\)-convex spaces and fuzzy frames ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Serre functors and graded categories ⋮ Operations on Metric Thickenings ⋮ On presheaf submonads of quantale-enriched categories ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ On continuous time agents ⋮ Τ-quasi-Cauchy spaces - a non-symmetric theory of completeness and completion ⋮ Unnamed Item ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Resource convertibility and ordered commutative monoids ⋮ Local Yoneda completions of quasi-metric spaces ⋮ The uniform homotopy category ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Categorical information geometry ⋮ Local knowledge distance for rough approximation measure in multi-granularity spaces ⋮ Unnamed Item ⋮ On operads, bimodules and analytic functors ⋮ Unnamed Item ⋮ Editorial ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fuzzy logic and enriched categories ⋮ Extensivity of categories of relational structures ⋮ On the Logic of Generalised Metric Spaces ⋮ Relational Lattices via Duality ⋮ Unnamed Item ⋮ Complete Regularity: Kopperman's duality {\it \`{a} la quantale} ⋮ Unnamed Item ⋮ A categorical characterization of relative entropy on standard Borel spaces ⋮ Unnamed Item ⋮ Lax orthogonal factorisations in ordered structures ⋮ Quantale-valued generalizations of approach spaces and quantale-valued topological spaces ⋮ Differential logical relations, Part I: The simply-typed case ⋮ Morphisms of Rings ⋮ Local pre-Hausdorff extended pseudo-quasi-semi metric spaces ⋮ Quantale-Valued Generalizations of Approach Groups ⋮ Quantale-Valued Uniformizations of Quantale-Valued Generalizations of Approach Groups ⋮ The monad on strong quasi-metric spaces ⋮ Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions ⋮ Unnamed Item ⋮ A categorical characterization of relative entropy on standard Borel spaces ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Bimonoidal structure of probability monads ⋮ Distance Domains: Completeness ⋮ Maps. I: Relative to a factorisation system ⋮ Associativity, commutativity and symmetry in residuated structures ⋮ Lax distributive laws for topology, II ⋮ Quantaloids, enriched categories and automata theory ⋮ Unnamed Item ⋮ Magnitude cohomology ⋮ An enriched category theory of language: from syntax to semantics ⋮ Some lattice models of bilinear logic ⋮ Enriched logical connections ⋮ Accessibility and presentability in 2-categories ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ The double power monad is the composite power monad ⋮ Fixed points of adjoint functors enriched in a quantaloid ⋮ Unnamed Item ⋮ Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991 ⋮ Frobenius monads and pseudomonoids ⋮ Real sets ⋮ Differential logical relations. II: Increments and derivatives ⋮ The comprehensive factorization of Burroni's T-functors ⋮ Generalized logic and the representation of rings ⋮ Magnitude homology of enriched categories and metric spaces ⋮ Unnamed Item ⋮ Flat vs. filtered colimits in the enriched context ⋮ Unnamed Item ⋮ Symmetric Monoidal Structure with Local Character is a Property ⋮ Knowledge distance measure in multigranulation spaces of fuzzy equivalence relations ⋮ The continuous weak order ⋮ Skew metrics valued in Sugihara semigroups ⋮ Constructing Buildings and Harmonic Maps ⋮ On the asymptotic magnitude of subsets of Euclidean space ⋮ Many-Valued Preorders I: The Basis of Many-Valued Mathematics ⋮ Tameness in generalized metric structures ⋮ A Larson-Sweedler theorem for Hopf \(\mathcal{V} \)-categories ⋮ Connected limits, familial representability and Artin glueing ⋮ A categorical approach to the semantics of argumentation ⋮ Quantale-valued dissimilarity ⋮ Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders ⋮ Morita equivalence of inverse semigroups. ⋮ Lawvere theories, finitary monads and Cauchy-completion
Cites Work
This page was built for publication: Metric spaces, generalized logic, and closed categories
