Metric spaces, generalized logic, and closed categories

Related Items

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, Fuzzy topological spaces with conical neighborhood systems, Preordered sets valued in a GL-monoid, On adjunctions between Lim, SL-Top, and SL-Lim, The geometry of unitary 2-representations of finite groups and their 2-characters, Generalising Conduché's theorem, Small Cauchy completions, Lukasiewicz logic and the foundations of measurement, Rigidity in closed categories and generalized sup-inf theorems, Mealy morphisms of enriched categories, A duality of quantale-enriched categories, Kleisli enriched, Elementary characterisation of small quantaloids of closed cribles, Sheaves on sites as Cauchy-complete categories, A survey of fuzzy set and topos theory, Idempotent splittings, colimit completion, and weak aspects of the theory of monads, Projectales, Quantaloidal nuclei, the syntactic congruence and tree automata, The change-base issue for $\Omega$-categories, Elements of generalized ultrametric domain theory, A categorical approach to the maximum theorem, $\mathcal{Q}$-closure spaces, Introduction: A personal tribute to Peter Freyd and Bill Lawvere, On the concrete representation of discrete enriched abstract clones, Tail recursion through universal invariants, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, A non-commutative and non-idempotent theory of quantale sets, Lax algebras via initial monad morphisms: APP, TOP, MET and ORD, Towards Stone duality for topological theories, Enriched categorical semantics for distributed calculi, Fuzzy sets and geometric logic, Implication structures, fuzzy subsets, and enriched categories, Good fuzzy preorders on fuzzy power structures, Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets, An algebraic description of regular epimorphisms in topology, Lawvere completion and separation via closure, Monoidal Morita equivalence, Closedness of the category of liminf complete fuzzy orders, Scott approach distance on metric spaces, Met-like categories amongst concrete topological categories, On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Sobriety of quantale-valued cotopological spaces, Fuzzy Galois connections on fuzzy sets, New wide classes of weakly Mal'tsev categories, Lawvere completeness in topology, On the relationship between limit spaces, many valued topological spaces, and many valued preorders, Fuzzy complete lattices, Semicontinuous real numbers in a topos, Weighted colimits and formal balls in generalized metric spaces, Constructing inverse semigroups from category actions, Descent theory of locally internal categories, A completion for partially ordered Abelian groups, Free quantaloids, The essence of ideal completion in quantitative form, On the Yoneda completion of a quasi-metric space, Metric, topology and multicategory -- a common approach, Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid, 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, The quantitative linear-time-branching-time spectrum, Fuzzy Galois connections categorically, Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence, Unnamed Item, Directed algebraic topology, categories and higher categories, Complete and directed complete $\Omega $-categories, Convergence and quantale-enriched categories, Weighted modal transition systems, A New Approach to Quantitative Domain Theory, Unnamed Item, Cauchy characterization of enriched categories, Completion of continuity spaces with uniformly vanishing asymmetry, Unnamed Item, Approximate categorical structures, Regularity vs. constructive complete (co)distributivity, Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces, Magnitude, diversity, capacities, and dimensions of metric spaces, Bicompletions of Distance Matrices, Completeness in generalized ultrametric spaces, Coalgebraic semantics for timed processes, Continuous triangular norm based fuzzy topology, Hausdorff coalgebras, Kleisli compositions for topological spaces, Unnamed Item, Unnamed Item, Unnamed Item, Multi-adjoint concept lattices via quantaloid-enriched categories, The topology of a quantale valued metric space, Monadic convergence structures revisited, Unnamed Item, A comparative study of ideals in fuzzy orders, A categorical characterization of the least $Q$-quantale completion of $Q$-ordered semigroups, Representation of graphs by means of generalized metrics, Torsion pairs in categories of modules over a preadditive category, Unnamed Item, The formal ball model for -categories, Unnamed Item, On sheaf cohomology and natural expansions, Stochastic order on metric spaces and the ordered Kantorovich monad, A fixed point theorem for commuting families of relational homomorphisms. Applications to metric spaces, ordered sets and oriented graphs, On generalized equilogical spaces, Free monoids and generalized metric spaces, A 2-Categories Companion, An Australian Conspectus of Higher Categories, An enriched view on the extended finitary monad--Lawvere theory correspondence, Categorie variabili, Process synchronisation as fusion, Completeness in probabilistic quasi-uniform spaces, Towards probabilistic partial metric spaces: diagonals between distance distributions, Metrics on triangulated categories, Two Cartesian closed subcategories of fuzzy domains, Unnamed Item, Directed Homotopy in Non-Positively Curved Spaces, Unnamed Item, 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

Cites Work