The following pages link to Category Theory (Q5472797):
Displayed 50 items.
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Path space connections and categorical geometry (Q391163) (← links)
- A refinement of Stone duality to skew Boolean algebras (Q451077) (← links)
- Mathematical structures of simple voting games (Q459164) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- The rôle of categorical structures in infinitesimal calculus (Q530113) (← links)
- Coherence for modalities (Q531368) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
- Linear structures, causal sets and topology (Q905672) (← links)
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches (Q969582) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- A synthetic version of Lie's second theorem (Q1656722) (← links)
- The diffeology of Milnor's classifying space (Q1676533) (← links)
- Parseval wavelets on hierarchical graphs (Q1690706) (← links)
- Quantum mechanics over sets: a pedagogical model with non-commutative finite probability theory as its quantum probability calculus (Q1708956) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- Categorification of Hopf algebras of rooted trees. (Q1939375) (← links)
- A logic for Lawson compact algebraic L-domains (Q1989346) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629) (← links)
- Representations of stably continuous semi-lattices by information systems and abstract bases (Q2224847) (← links)
- Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. (Q2254616) (← links)
- The Serre-Swan theorem for normed modules (Q2311413) (← links)
- Quantifying sequential subsumption (Q2326402) (← links)
- The principal bundles over an inverse semigroup (Q2362272) (← links)
- Metaphor-based meaning excavation (Q2390383) (← links)
- Exhaustive generation of atomic combinatorial differential operators (Q2449048) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- (Q3295096) (← links)
- Why Categories? (Q3296105) (← links)
- Galois Connections for Recursive Types (Q3297839) (← links)
- Data types à la carte (Q3520165) (← links)
- The Expression Lemma (Q3521989) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS (Q3577748) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Coalitions and Catastrophic Climate Change (Q4644777) (← links)
- Category theory and set theory as theories about complementary types of universals (Q4683203) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- A categorical approach to soft S-acts (Q5020401) (← links)
- (Q5216005) (← links)
- A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)