The following pages link to Applied Categorical Structures (Q171466):
Displaying 50 items.
- The categories of Yetter-Drinfel'd modules, Doi-Hopf modules and two-sided two-cosided Hopf modules (Q1264241) (← links)
- Yetter-Drinfel'd \(H\)-Azumaya monoids in closed categories (Q1264243) (← links)
- Determinants and symmetries in `Yetter-Drinfeld' categories (Q1264244) (← links)
- Special issue: Quantum groups, Hopf algebras and category theory (Q1264245) (← links)
- First steps towards an institution of algebra replacement systems (Q1272540) (← links)
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages (Q1272541) (← links)
- Freeness conditions for 2-crossed modules of commutative algebras (Q1272542) (← links)
- On generation and implicit partial operations in locally presentable categories (Q1272543) (← links)
- Left adjoint for Booleanization (Q1272544) (← links)
- Categorical properties of probabilistic convergence spaces (Q1272545) (← links)
- Compactness in categories of \(\mathcal S\)-net spaces (Q1272546) (← links)
- Coreflections versus regular epimorphisms in categories of topological spaces (Q1272547) (← links)
- On full and faithful Kan extensions (Q1273637) (← links)
- Positively convex spaces (Q1273639) (← links)
- Injective and epi-projective objects in categories of convex spaces (Q1273640) (← links)
- The Schur multiplier of a pair of groups (Q1273641) (← links)
- Separated and connected maps (Q1273642) (← links)
- Special issue: Applications of ordered sets in computer science. 2nd workshop on domain theory, TU Braunschweig, Germany, 1996 (Q1306705) (← links)
- Density theorems for the domains-with-totality semantics of dependent types (Q1306706) (← links)
- \({\mathcal Z}\)-continuous posets and their topological manifestation (Q1306707) (← links)
- Approximation of metric spaces by partial metric spaces (Q1306708) (← links)
- On the approximation of denotational mu-semantics (Q1306709) (← links)
- Factorisation systems on domains (Q1306711) (← links)
- A convenient category for games and interaction (Q1306712) (← links)
- An algebraic view on recursive types (Q1306714) (← links)
- Extensional \(\Sigma\)-spaces in type theory (Q1306715) (← links)
- Inductive construction of repletion (Q1306716) (← links)
- Categorical generalization of a universal domain (Q1306717) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- Paracompactness revisited (Q1320327) (← links)
- The category of complete Boolean algebras is not an intersection of reflective subcategories of the category of frames (Q1320329) (← links)
- Information categories (Q1320330) (← links)
- Holomorphy in convergence spaces (Q1320332) (← links)
- The algebra of directed complexes (Q1320333) (← links)
- Hausdorff separation in categories (Q1320335) (← links)
- Filter spaces (Q1320336) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Exponential objects and Cartesian closedness in the construct \textit{Prtop} (Q1320339) (← links)
- Convergence \({\mathcal {LF}}\) spaces (Q1320340) (← links)
- Some remarks on Maltsev and Goursat categories (Q1320341) (← links)
- The algebraic theory of order (Q1320342) (← links)
- Constructive complete distributivity. IV (Q1330904) (← links)
- Left linear theories -- a generalization of module theory (Q1330905) (← links)
- Universalities (Q1330906) (← links)
- Almost coreflective and projective classes (Q1330907) (← links)
- Nice separation axioms (Q1330909) (← links)
- Cogenerators for convex spaces (Q1330910) (← links)
- Convexity theories. 0: Foundations (Q1330911) (← links)
- Topological totally convex spaces. I (Q1330912) (← links)
- What is concrete equivalence? (Q1330913) (← links)
