Pages that link to "Item:Q4102032"

The following pages link to Metric spaces, generalized logic, and closed categories (Q4102032):

Displaying 50 items.

• A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories (Q276411) (← links)
• Some corollaries of the correspondence between partial metrics and multivalued equalities (Q277333) (← links)
• An introduction to quantaloid-enriched categories (Q277336) (← links)
• Sheaves on involutive quantales: Grothendieck quantales. (Q277338) (← links)
• Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343) (← links)
• Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
• Modeling Martin-Löf type theory in categories (Q280835) (← links)
• Relation lifting, a survey (Q299182) (← links)
• Positive definite metric spaces (Q369652) (← links)
• Dagger categories of tame relations (Q382419) (← links)
• Addendum to ``Recursively defined metric spaces without contraction'' (Q391132) (← links)
• Approaching metric domains (Q395665) (← links)
• The order-theoretic duality and relations between partial metrics and local equalities (Q419040) (← links)
• Preordered sets valued in a GL-monoid (Q427913) (← links)
• On adjunctions between Lim, SL-Top, and SL-Lim (Q429393) (← links)
• Mealy morphisms of enriched categories (Q452330) (← links)
• A duality of quantale-enriched categories (Q456860) (← links)
• Kleisli enriched (Q456865) (← links)
• Elementary characterisation of small quantaloids of closed cribles (Q456870) (← links)
• A non-commutative and non-idempotent theory of quantale sets (Q533140) (← links)
• Lax algebras via initial monad morphisms: APP, TOP, MET and ORD (Q536041) (← links)
• Towards Stone duality for topological theories (Q536043) (← links)
• Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets (Q549318) (← links)
• An algebraic description of regular epimorphisms in topology (Q555961) (← links)
• Monoidal Morita equivalence (Q584383) (← links)
• The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
• The geometry of unitary 2-representations of finite groups and their 2-characters (Q633796) (← links)
• Generalising Conduché's theorem (Q633801) (← links)
• Idempotent splittings, colimit completion, and weak aspects of the theory of monads (Q659876) (← links)
• Elements of generalized ultrametric domain theory (Q672055) (← links)
• \(\mathcal{Q}\)-closure spaces (Q679770) (← links)
• Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
• On the concrete representation of discrete enriched abstract clones (Q680310) (← links)
• Tail recursion through universal invariants (Q685396) (← links)
• Closedness of the category of liminf complete fuzzy orders (Q723220) (← links)
• On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
• New wide classes of weakly Mal'tsev categories (Q748711) (← links)
• A completion for partially ordered Abelian groups (Q794682) (← links)
• Free quantaloids (Q805732) (← links)
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid (Q816646) (← links)
• Density in categorical topology via quantaloid-enriched categories (Q820671) (← links)
• The saturated prefilter monad (Q820674) (← links)
• Basic concepts of quantale-enriched topologies (Q825979) (← links)
• Many valued lattices and their representations (Q834443) (← links)
• \(\mathcal Q\)-\(*\)-categories (Q842761) (← links)
• Fuzzy preorder and fuzzy topology (Q853374) (← links)
• An enriched category approach to many valued topology (Q868301) (← links)
• Representable \((\mathbb{T},\mathbf{V})\)-categories (Q891924) (← links)
• Chu connections and back diagonals between \(\mathcal{Q}\)-distributors (Q899562) (← links)
• Small Cauchy completions (Q910488) (← links)