The following pages link to (Q4215784):
Displaying 50 items.
- Non-associative geometry of quantum tori (Q254653) (← links)
- Exact sequences, Hochschild cohomology, and the Lie module structure over the \(M\)-relative center (Q258202) (← links)
- Abstract representation theory of Dynkin quivers of type \(A\) (Q261208) (← links)
- A complete graphical calculus for Spekkens' toy bit theory (Q262336) (← links)
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- \(t\)-structures are normal torsion theories (Q263896) (← links)
- Free wreath product quantum groups: the monoidal category, approximation properties and free probability (Q265901) (← links)
- Categories of inverse systems of compacta with upper semi-continuous bonding functions (Q272840) (← links)
- \(\mu\)-abstract elementary classes and other generalizations (Q272987) (← links)
- Invariants of a free linear category and representation type (Q272994) (← links)
- A matrix description for \(K_1\) of graded rings (Q273074) (← links)
- Categorification of Seidel's representation (Q273077) (← links)
- A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories (Q276411) (← links)
- Characterising E-projectives via co-monads (Q276429) (← links)
- Graphs, hypergraphs, and properads (Q276737) (← links)
- Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives (Q277330) (← links)
- Fuzzy terms (Q277347) (← links)
- Lattice-valued preordered sets as lattice-valued topological systems (Q277553) (← links)
- Dualizing clones as models of Lawvere theories. (Q280192) (← links)
- On a graph approach to modal logics (Q281163) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- The coinductive resumption monad (Q283770) (← links)
- Neighborhood complexes of some exponential graphs (Q286102) (← links)
- Category-theoretic approach to software systems design (Q289772) (← links)
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- Higher homotopy excision and Blakers-Massey theorems for structured ring spectra (Q291788) (← links)
- Nonassociative geometry in quasi-Hopf representation categories. II: Connections and curvature. (Q295767) (← links)
- Extension closedness of syzygies and local Gorensteinness of commutative rings (Q295888) (← links)
- On the tensor product of modules over skew monoidal categories (Q308158) (← links)
- Categorified Reeb graphs (Q309649) (← links)
- A mathematical theory of resources (Q320201) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- A calculus of lax fractions (Q326585) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- The fundamental group as the structure of a dually affine space (Q328642) (← links)
- Generalizations of the Sweedler dual (Q328653) (← links)
- Algebraic K-theory of group rings and the cyclotomic trace map (Q329515) (← links)
- Semigroup theory of symmetry (Q338184) (← links)
- Simple transitive 2-representations for some 2-subcategories of Soergel bimodules (Q338227) (← links)
- The twofold way of super holonomy (Q339409) (← links)
- Smashing localizations of rings of weak global dimension at most one (Q340408) (← links)
- The relative modular object and Frobenius extensions of finite Hopf algebras (Q342829) (← links)
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups (Q343592) (← links)
- Loops, projective invariants, and the realization of the Borromean topological link in quantum mechanics (Q344022) (← links)
- Functorial semantics of first-order views (Q344796) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Lattice-valued topological systems as a framework for lattice-valued formal concept analysis (Q355727) (← links)
- Preorientations of the derived motivic multiplicative group (Q357699) (← links)
- Comparison of models for \((\infty , n)\)-categories. I (Q357741) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
