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 ⋮ The comprehensive factorization of Burroni's T-functors ⋮ 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 ⋮ On the metrical and quantalic versions of the \(\ast\)-autonomous category of sup-lattices ⋮ 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 ⋮ Density in categorical topology via quantaloid-enriched categories ⋮ The saturated prefilter monad ⋮ Algebras with compatible quantale-enriched structures ⋮ Constructive complete distributivity. IV ⋮ A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories ⋮ Some corollaries of the correspondence between partial metrics and multivalued equalities ⋮ An introduction to quantaloid-enriched categories ⋮ Sheaves on involutive quantales: Grothendieck quantales. ⋮ Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ Quantale-valued preorders: globalization and cocompleteness. ⋮ Modulated bicategories ⋮ Basic concepts of quantale-enriched topologies ⋮ On the notion of bimodel for functorial semantics ⋮ Modeling Martin-Löf type theory in categories ⋮ Many valued lattices and their representations ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Relation lifting, a survey ⋮ \(*\)-autonomous categories of bimodules ⋮ \(\mathcal Q\)-\(*\)-categories ⋮ On completeness of locally-internal categories ⋮ Cartesian bicategories. I ⋮ Fuzzy preorder and fuzzy topology ⋮ Embeddability into relational lattices is undecidable ⋮ Ideals of closed categories ⋮ Monoidal bicategories and Hopf algebroids ⋮ An enriched category approach to many valued topology ⋮ Quotients with respect to similarity relations ⋮ Local adjunctions ⋮ Positive definite metric spaces ⋮ The category-theoretic solution of recursive metric-space equations ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ Dagger categories of tame relations ⋮ Sober metric approach spaces ⋮ Addendum to ``Recursively defined metric spaces without contraction ⋮ Liminf convergence in \(\Omega\)-categories ⋮ Approaching metric domains ⋮ Continuity spaces: Reconciling domains and metric spaces ⋮ Limiting semantics of numerical programs ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ A method from categories for introducing a general notion of convergence and limit ⋮ Coherence for compact closed categories ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ Center and trace
Cites Work
This page was built for publication: Metric spaces, generalized logic, and closed categories
