scientific article; zbMATH DE number 1216133
From MaRDI portal
Publication:4215784
zbMath0906.18001MaRDI QIDQ4215784
No author found.
Publication date: 28 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monoidal categories2-categoriesfoundationsinternal categoriestopoibicategoriescoherence theoremstructures in categories
Related Items (only showing first 100 items - show all)
\(t\)-structures are normal torsion theories ⋮ Free wreath product quantum groups: the monoidal category, approximation properties and free probability ⋮ Categories of inverse systems of compacta with upper semi-continuous bonding functions ⋮ \(\mu\)-abstract elementary classes and other generalizations ⋮ Invariants of a free linear category and representation type ⋮ A matrix description for \(K_1\) of graded rings ⋮ Categorification of Seidel's representation ⋮ A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories ⋮ Characterising E-projectives via co-monads ⋮ Graphs, hypergraphs, and properads ⋮ Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives ⋮ Fuzzy terms ⋮ Lattice-valued preordered sets as lattice-valued topological systems ⋮ Dualizing clones as models of Lawvere theories. ⋮ On a graph approach to modal logics ⋮ On a categorical framework for coalgebraic modal logic ⋮ The coinductive resumption monad ⋮ Neighborhood complexes of some exponential graphs ⋮ Category-theoretic approach to software systems design ⋮ Atomicity, coherence of information, and point-free structures ⋮ Higher homotopy excision and Blakers-Massey theorems for structured ring spectra ⋮ Nonassociative geometry in quasi-Hopf representation categories. II: Connections and curvature. ⋮ Extension closedness of syzygies and local Gorensteinness of commutative rings ⋮ On the tensor product of modules over skew monoidal categories ⋮ Categorified Reeb graphs ⋮ A mathematical theory of resources ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ A calculus of lax fractions ⋮ Logical systems. I: Internal calculi. ⋮ The fundamental group as the structure of a dually affine space ⋮ Generalizations of the Sweedler dual ⋮ Algebraic K-theory of group rings and the cyclotomic trace map ⋮ Semigroup theory of symmetry ⋮ Simple transitive 2-representations for some 2-subcategories of Soergel bimodules ⋮ The twofold way of super holonomy ⋮ Smashing localizations of rings of weak global dimension at most one ⋮ The relative modular object and Frobenius extensions of finite Hopf algebras ⋮ Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ Loops, projective invariants, and the realization of the Borromean topological link in quantum mechanics ⋮ Functorial semantics of first-order views ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Lattice-valued topological systems as a framework for lattice-valued formal concept analysis ⋮ Preorientations of the derived motivic multiplicative group ⋮ Comparison of models for \((\infty , n)\)-categories. I ⋮ Importing logics: soundness and completeness preservation ⋮ On irreducible representations of compact \(p\)-adic analytic groups ⋮ Categories parametrized by schemes and representation theory in complex rank ⋮ Properties of a folded category constructed from a category and a lattice ⋮ Bohrification of operator algebras and quantum logic ⋮ Structural operational semantics for stochastic and weighted transition systems ⋮ The fundamental pro-groupoid of an affine 2-scheme ⋮ A note on the five lemma ⋮ MV-algebras freely generated by finite Kleene algebras. ⋮ Parameterisation for abstract structured specifications ⋮ Homotopy theory of non-symmetric operads. II: Change of base category and left properness ⋮ On abelian group actions and Galois quantizations ⋮ A scalable module system ⋮ On the graded center of graded categories ⋮ Supertropical monoids: basics and canonical factorization ⋮ Noncommutative differential operators, Sobolev spaces and the centre of a category ⋮ The Grothendieck group of an \(n\)-angulated category ⋮ On integro-differential algebras. ⋮ Toward weakly enriched categories: co-Segal categories ⋮ Homology in relative semi-abelian categories ⋮ The homology of partial monoid actions and Petri nets ⋮ Formal aspects of Gray's tensor products of 2-categories ⋮ Pure morphisms are effective for modules ⋮ Tensor functors between categories of quasi-coherent sheaves ⋮ On the category of weak bialgebras ⋮ Biset transformations of Tambara functors ⋮ Fraïssé sequences: category-theoretic approach to universal homogeneous structures ⋮ Morita homotopy theory of \(\mathrm{C}^\ast\)-categories ⋮ Equivariant algebraic \(KK\)-theory and adjointness theorems ⋮ Proof systems for Moss' coalgebraic logic ⋮ The fusion rules of some free wreath product quantum groups and applications ⋮ Equivariant cohomology and sheaves ⋮ Remarks on quantum symmetric algebras ⋮ Foundations for structuring behavioural specifications ⋮ Left determined model structures for locally presentable categories ⋮ On limits and colimits of variety-based topological systems ⋮ Quotient sheaves of algebraic supergroups are superschemes ⋮ On a generalization of the concept of state property system ⋮ Monoidal indeterminates and categories of possible worlds ⋮ A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety ⋮ Interweaving algebra and topology: lattice-valued topological systems ⋮ Adding fuzziness to terms and powerobjects using a monadic approach ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Free internal groups ⋮ Intermutation ⋮ On the universal \(sl_{2}\) invariant of boundary bottom tangles ⋮ Descent in triangulated categories ⋮ Mixed pentagon, octagon, and Broadhurst duality equations ⋮ The 2-group of symmetries of a split chain complex ⋮ Preordered sets valued in a GL-monoid ⋮ An axiomatic approach to structuring specifications ⋮ Non-associative geometry of quantum tori ⋮ Exact sequences, Hochschild cohomology, and the Lie module structure over the \(M\)-relative center ⋮ Abstract representation theory of Dynkin quivers of type \(A\) ⋮ A complete graphical calculus for Spekkens' toy bit theory ⋮ Structuring co-constructive logic for proofs and refutations
This page was built for publication:
