The following pages link to (Q5639839):
Displaying 50 items.
- A categorical theory of patches (Q265821) (← links)
- Bicategorical semantics for nondeterministic computation (Q265831) (← links)
- Geiringer theorems: from population genetics to computational intelligence, memory evolutive systems and Hebbian learning (Q269771) (← links)
- Exponential objects (Q271905) (← links)
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- A note on finitely derived information systems (Q276427) (← links)
- Formal contexts for algebraic domains (Q276430) (← links)
- Fundamental duality of abstract categories and its applications (Q277334) (← links)
- Fuzzy terms (Q277347) (← links)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Natural language semantics in biproduct dagger categories (Q280847) (← links)
- Free involutive Hom-semigroups and Hom-associative algebras (Q282429) (← links)
- Duality categories (Q282439) (← links)
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Curvature on the integers. II. (Q290067) (← links)
- On Mitchell's embedding theorem for a quasi-schemoid (Q290432) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Relation lifting, a survey (Q299182) (← links)
- The snail lemma in a pointed regular category (Q308152) (← links)
- On the third cohomology group of commutative monoids (Q309939) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- On exponentiable morphisms in classical algebra (Q328662) (← links)
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos (Q338225) (← links)
- On rational pairings of functors (Q354670) (← links)
- The antipode and the (co)invariants of a finite Hopf (co)quasigroup (Q354673) (← links)
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Daggers, kernels, Baer *-semigroups, and orthomodularity (Q358684) (← links)
- Locales as spectral spaces (Q364688) (← links)
- On Utiyama's theme through ``\(\mathcal {A}\)-invariance'' (Q371709) (← links)
- A spectral sequence for Bredon cohomology (Q382410) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Categories of rough sets and textures (Q388147) (← links)
- Functors from association schemes (Q388188) (← links)
- A non-commutative Priestley duality. (Q390415) (← links)
- Addendum to ``Recursively defined metric spaces without contraction'' (Q391132) (← links)
- Path space connections and categorical geometry (Q391163) (← links)
- Recognizing mapping spaces (Q392395) (← links)
- A characterization of entropy in terms of information loss (Q400959) (← links)
- A characterization of finite EI categories with hereditary category algebras (Q408517) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Lowen LM-fuzzy topological spaces (Q419014) (← links)
- Higher cohomologies of modules (Q422101) (← links)
- The categories of flows of Set and Top (Q429324) (← links)
- Categorical pairs and the indicative shift (Q440655) (← links)
- The de Rham homotopy theory and differential graded category (Q444208) (← links)
- Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices (Q451078) (← links)
- Completely and totally distributive categories. I. (Q456849) (← links)
