The following pages link to (Q4856547):
Displaying 50 items.
- Bicategorical semantics for nondeterministic computation (Q265831) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- On the tensor product of modules over skew monoidal categories (Q308158) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- On regularization of vector distributions on manifolds (Q339419) (← links)
- Functorial semantics of first-order views (Q344796) (← links)
- On rational pairings of functors (Q354670) (← links)
- The fundamental pro-groupoid of an affine 2-scheme (Q385598) (← links)
- Pure morphisms are effective for modules (Q395677) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Separating families of locale maps and localic embeddings (Q412005) (← links)
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- Quantales of open groupoids (Q426730) (← links)
- Preordered sets valued in a GL-monoid (Q427913) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Zeta functions of equivalence relations over finite fields (Q620933) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← links)
- Delta-discrete \(G\)-spectra and iterated homotopy fixed points (Q640334) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Topological semi-abelian algebras (Q703814) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid (Q816646) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- Many valued lattices and their representations (Q834443) (← links)
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories (Q847679) (← links)
- The canonical topology on a meet-semilattice (Q861650) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- An enriched category approach to many valued topology (Q868301) (← links)
- Towards ``dynamic domains'': totally continuous cocomplete \(\mathcal Q\)-categories (Q875519) (← links)
- On Einstein algebras and relativistic spacetimes (Q905673) (← links)
- The Schützenberger category of a semigroup. (Q906965) (← links)
- Protolocalisations of homological categories (Q927328) (← links)
- Semidirect products of internal groupoids (Q964546) (← links)
- Implication structures, fuzzy subsets, and enriched categories (Q969578) (← links)
- Sheaves as modules (Q969690) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- Categories of Boolean sheaves of simple algebras (Q1076791) (← links)
- Algebraic theories of quasivarieties (Q1273384) (← links)
- Repleteness and the associated sheaf (Q1295499) (← links)
- On the equivariant \(2\)-type of a \(G\)-space (Q1295561) (← links)
- Left exact presheaves on a small pretopos (Q1295689) (← links)
- On the notion of bimodel for functorial semantics (Q1332449) (← links)
