The following pages link to (Q3575369):
Displayed 50 items.
- A categorial semantic representation of quantum event structures (Q385635) (← links)
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- Existence of reflections and its applications (Q505377) (← links)
- Dynamical systems in categories (Q513904) (← links)
- Two models of synthetic domain theory (Q678839) (← links)
- Functorial data migration (Q714735) (← links)
- Weighted limits in an \((\infty, 1)\)-category (Q825982) (← links)
- Symmetries and the philosophy of language (Q905674) (← links)
- The category of node-and-choice preforms for extensive-form games (Q1615994) (← links)
- Covering-based rough sets and modal logics. II. (Q1642771) (← links)
- Contextual semantics in quantum mechanics from a categorical point of view (Q1708773) (← links)
- On monotone determined spaces (Q1744455) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- Coalgebra and abstraction (Q1981994) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- On representational capacities, with an application to general relativity (Q1985875) (← links)
- Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order (Q2016040) (← links)
- Initial degenerations of Grassmannians (Q2037140) (← links)
- Deduction and definability in infinite statistical systems (Q2052648) (← links)
- Representation of bifinite domains by BF-closure spaces (Q2054650) (← links)
- Generalized persistence diagrams for persistence modules over posets (Q2063197) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Discrete density comonads and graph parameters (Q2104475) (← links)
- A categorical framework for learning generalised tree automata (Q2104477) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- Analogical proportions (Q2149806) (← links)
- Categorical structures of soft groups (Q2157064) (← links)
- On consistent functions for neighborhood systems (Q2191230) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics (Q2280646) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- Networks of hybrid open systems (Q2302562) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Fuzzy analogues of sets and functions can be uniquely determined from the corresponding ordered category: a theorem (Q2305828) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- On the structural theorem of persistent homology (Q2334510) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Categorial subsystem independence as morphism co-possibility (Q2413054) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Category-theoretic structure and radical ontic structural realism (Q2441755) (← links)
- Toposes for semigroups: an invitation (Q2665914) (← links)
- Combining and relating Aristotelian diagrams (Q2671608) (← links)
- Constructing span categories from categories without pullbacks (Q2692613) (← links)
- Toward a Theory of the Pragmatic A Priori: From Carnap to Lewis and Beyond (Q2906151) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms (Q3298274) (← links)
- CATEGORICAL COMPLEXITY (Q3304647) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- (Q4627891) (← links)