The following pages link to (Q3575369):
Displaying 50 items.
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- (Q4627891) (← links)
- Categories in geometry, algebra and logic (Q4849472) (← links)
- Direct spectra of Bishop spaces and their limits (Q4989398) (← links)
- A semantics for hybrid iteration (Q5009436) (← links)
- Extensions of bundles of C*-algebras (Q5019026) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Cofree objects in the centralizer and the center categories (Q5077325) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5094128) (← links)
- A well-known representation of monoids and its application to the function ‘vector reverse’ (Q5101924) (← links)
- Normal forms, linearity, and prime algebraicity over nonflat domains (Q5109211) (← links)
- Fuzzy Analogues of Sets and Functions Can Be Uniquely Determined from the Corresponding Ordered Category: A Theorem (Q5116189) (← links)
- (Q5119390) (← links)
- On the topological characterization of gestures in a convenient category of spaces (Q5152276) (← links)
- (Q5155672) (← links)
- Projective and injective Krasner hypermodules (Q5158061) (← links)
- Generic Programming (Q5187879) (← links)
- (Q5214815) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Category Theory (Q5472797) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- Spined categories: generalizing tree-width beyond graphs (Q6056559) (← links)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations (Q6057501) (← links)
- Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks (Q6091891) (← links)
- Topological duality for orthomodular lattices (Q6096727) (← links)
- Representation and Spacetime: The Hole Argument Revisited (Q6117147) (← links)
- The Grassmannian of 3-planes in \(\mathbb{C}^8\) is schön (Q6119495) (← links)
- Metric enrichment, finite generation, and the path coreflection (Q6125065) (← links)
- On some categories of structured sets (Q6131256) (← links)
- Initial degenerations of spinor varieties (Q6145004) (← links)
- Comparing the structures of mathematical objects (Q6147142) (← links)
- A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework (Q6151605) (← links)
- Husserl, Intentionality and Mathematics: Geometry and Category Theory (Q6165539) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Dual Ramsey properties for classes of algebras (Q6171499) (← links)
- Double preconditioning for Gabor frame operators: algebraic, functional analytic and numerical aspects (Q6172169) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
- Quantization as a categorical equivalence (Q6189668) (← links)
- Relating Hilbert-Chu Correspondences and Big Toy Models for Quantum Mechanics (Q6487282) (← links)
- A Generic Construction for Crossovers of Graph-Like Structures (Q6487307) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
- Vietoris-Rips persistent homology, injective metric spaces, and the filling radius (Q6536732) (← links)
- Composing Cagean silence (Q6555061) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- Sets completely separated by functions in Bishop set theory (Q6589312) (← links)
