The following pages link to (Q5682456):
Displayed 50 items.
- Bounded equivalence of hull classes in Archimedean lattice-ordered groups with unit. (Q263894) (← links)
- Fundamental duality of abstract categories and its applications (Q277334) (← links)
- Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343) (← links)
- The \(H\)-closed monoreflections, implicit operations, and countable composition, in Archimedean lattice-ordered groups with weak unit (Q328652) (← links)
- Daggers, kernels, Baer *-semigroups, and orthomodularity (Q358684) (← links)
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Information-based distance measures and the canonical reflection of view updates (Q429442) (← links)
- Neat embeddings as adjoint situations (Q514575) (← links)
- A non-commutative and non-idempotent theory of quantale sets (Q533140) (← links)
- Thoughts on quotient-fine nearness frames (Q535365) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- Canonical constraints for parameterized data types (Q580959) (← links)
- Separable closure in categories (Q581527) (← links)
- Unification in commutative theories (Q582071) (← links)
- Function spaces in fuzzy topology (Q582614) (← links)
- Composition-closed \(\ell \)-groups of almost-piecewise-linear functions (Q639724) (← links)
- The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories (Q682074) (← links)
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Structural induction in institutions (Q719243) (← links)
- A link between quantum logic and categorical quantum mechanics (Q732298) (← links)
- \(B\)-saturated hull classes in \(\ell\)-groups and covering classes of spaces. (Q748707) (← links)
- Nelson algebras through Heyting ones. I (Q750474) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Reflective subcategories and dense subcategories (Q786904) (← links)
- A categorical approach to largest and smallest connectednesses and disconnectednesses (Q798413) (← links)
- Algebras, polynomials and programs (Q802882) (← links)
- A dual adjointness on partially ordered topological spaces (Q803568) (← links)
- On the localic Yosida representation of an archimedean lattice ordered group with weak order unit (Q809109) (← links)
- Point-set lattice-theoretic topology (Q809391) (← links)
- Monoidal closed categories, weak topoi and generalized logics (Q810504) (← links)
- An \(\alpha\)-disconnected space has no proper monic preimage (Q810914) (← links)
- A Kuratowski-Mrówka theorem in approach theory (Q818398) (← links)
- Injective and projective \(T\)-Boolean algebras (Q863892) (← links)
- Fuzzy sets and sheaves. I: Basic concepts (Q881818) (← links)
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology (Q881819) (← links)
- Prime elements of non-integral quantales and their applications. (Q890008) (← links)
- Dualities of Noetherian posets (Q908946) (← links)
- Fuzzy uniformities induced by fuzzy proximities (Q910750) (← links)
- Process simulation and refinement (Q911322) (← links)
- Theory of 2-structures. I: Clans, basic subclasses, and morphisms (Q913822) (← links)
- Pluri-adjoints and preservation of finite limits (Q914820) (← links)
- Symmetric morphisms and the existence of Moore-Penrose inverses (Q915850) (← links)
- Petri nets are monoids (Q922720) (← links)
- Formal similarities and differences among qualitative conditional semantics (Q962946) (← links)
- Completion of merotopic spaces and extension of uniform continuous maps (Q1051301) (← links)
- On notions of factorization systems and their applications to cone- injective subcategories (Q1052448) (← links)