scientific article; zbMATH DE number 195199

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items

Tannaka duality on quotient stacks, A note on model (co)slice categories, Ternary mappings of triangular algebras, An introduction to quantaloid-enriched categories, Categories with fuzzy sets and relations, On algebras over multicategories, Permutation of elements in double semigroups, Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL, A model of the Borel construction on the free loopspace, Applications of the defect of a finitely presented functor, Model-theoretic imaginaries and coherent sheaves, Holomorphic functions of exponential type and duality for Stein groups with algebraic connected component of identity, Polynomial invariants for a semisimple and cosemisimple Hopf algebra of finite dimension., A principled approach to programming with nested types in Haskell, Stacky abelianization of algebraic groups, Ergodic coactions with large multiplicity and monoidal equivalence of quantum groups, Nonassociative tori and applications to $T$-duality, About permutation algebras, (pre)sheaves and named sets, Maurer-Cartan spaces of filtered $L_{\infty}$-algebras, The canonical topology on a meet-semilattice, Explaining Gabriel-Zisman localization to the computer, On functionally Hausdorff spaces, Homomorphic images of pro-nilpotent algebras, Continuity of homomorphisms on pro-nilpotent algebras, Symmetry, compact closure and dagger compactness for categories of convex operational models, Differential schemes and premodels of differential fields, On induced representations of Lie algebras, groups and coalgebras, A category-theoretical approach to hypergraphs, Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations, Finiteness properties for some rational Poincaré duality groups, $F$-isocrystals and homotopy types, Thomason cohomology of categories, The persistent homology of a self-map, The homotopy theory of bialgebras over pairs of operads, Approaching metric domains, 1-efficient triangulations and the index of a cusped hyperbolic 3-manifold, Homotopical presentations and calculations of algebraic $K_0$-groups for rings of continuous functions, Categorification, term rewriting and the Knuth-Bendix procedure, Non-canonical isomorphisms, Simplicial descent categories, Motivic Eilenberg-MacLane spaces, On the 1-homotopy type of Lie groupoids, Supertropical semirings and supervaluations, A bicategorical version of Masuoka's theorem., E-theory for $C^*$-algebras over topological spaces, $\mathcal A$-schemes and Zariski-Riemann spaces, On a homomorphism of a component Petri net, The direct limit closure of perfect complexes, Relative categories: another model for the homotopy theory of homotopy theories, Inexact and exact quantum searches with a preparation state in a three-dimensional subspace, The homological Kähler-de Rham differential mechanism. II: Sheaf-theoretic localization of quantum dynamics, Topologies on product and coproduct Frölicher spaces, Equiuniform quotient spaces, Observationally-induced lower and upper powerspace constructions, Models for concurrency: Towards a classification, A survey on categories of logics and algebraizable logics, Petri nets and bisimulation, Coherence and strictification for self-similarity, Braided quantum SU(2) groups, Epireflective subcategories of TOP, $T_2$UNIF, UNIF, closed under epimorphic images, or being algebraic, The diagonal of a multicosimplicial object, On Sabidussi--Fawcett subdirect representation, Congruences on ordered groupoids, Monoid varieties defined by $x^{n+1}=x$ are local, Empirical set theory, Categorical principles, techniques and results for high-level-replacement systems in computer science, Lexicographic sums and fibre-faithful maps, Hereditary uniserial categories with Serre duality, Curved Koszul duality theory, Algebraic lattices and locally finitely presentable categories, The homological Kähler-de Rham differential mechanism. I: Application in general theory of relativity, On the ambiguation of Polish notation, Faith \& falsity, An axiomatization of graphs, Expressive logics for coalgebras via terminal sequence induction, On the derived category of a regular toric scheme, The connecting homomorphism for $K$-theory of generalized free products, On natural transformations of distinguished functors and their superpositions in certain closed categories, A Lie algebra for Frölicher groups, Sentence entailment in compositional distributional semantics, Representation and duality of the untyped $\lambda$-calculus in nominal lattice and topological semantics, with a proof of topological completeness, Fiber categories for describing dynamic production systems, Preunits and weak crossed products, Yetter-Drinfeld categories associated with a weak braided Hopf algebra., A note on inconsistencies caused by fixpoints in a cartesian closed category, Cohomology of small categories with coefficients in an Abelian category with exact products, Solving reflexive domain equations in a category of complete metric spaces, Functorial polymorphism, Skeletal categories, Modules croisés généralisés de longueur 2, On categories of fuzzy Petri nets, Categorification of skew-symmetrizable cluster algebras, Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N, Brauer-Clifford group of Azumaya-Poisson $(S, H)$-algebras, On conceptual completeness of syntactic-semantical systems, Characterizing categories of algebras, Reduction theorem for the type-II conjecture for finite monoids, Profinite multiplicativity of functors and characterization of projective monads in the category of compact spaces, Monoidal closed categories, weak topoi and generalized logics, Re-visiting axioms of information systems, Homotopy limits of triples, On the classification of strongly graded Hopf algebras, Representations of empirical set theories, The abelianization of inverse limits of groups, Convexity theories. 0: Foundations, The Hochschild-Mitchell dimension of the set of reals is equal to 3, Formal groups and stable homotopy of commutative rings, Units of ring spectra and their traces in algebraic K-theory, A parametrized index theorem for the algebraic $K$-theory Euler class., 2-cosemisimplicial objects in a 2-category, permutohedra and deformations of pseudo\-functors, On the structure of varieties with equationally definable principal congruences. III, Radicals of rings and pullbacks, Solid hulls of concrete categories, Manuals in orthogonal categories, Empirical sets, Empirical algebraic geometry, Localizations of unstable $A$-modules and equivariant mod $p$ cohomology, Morita equivalence for Banach algebras, Strong homotopy theory of cyclic sets, Hyperoctahedral decomposition of Hochschild homology, The logical quantization of algebraic groups, Cohomological results in monoid and category theory via classifying spaces, Zeta functions of categories, An equivariant van Kampen spectral sequence, $THH(R) \cong R \otimes S^ 1$ for $E_ \infty$ ring spectra, Homotopy coherent category theory and $A_\infty$-structures in monoidal categories, Open maps, behavioural equivalences, and congruences, The behavior-realization adjunction and generalized homomorphic relations, Continuous and smooth envelopes of topological algebras. I, Continuous and smooth envelopes of topological algebras. II, Near-group categories, Directed homology theories and Eilenberg-Steenrod axioms, Modular functors in homotopy quantum field theory and tortile structures., Higher gauge theory and a non-abelian generalization of 2-form electrodynamics., A chain rule in the calculus of homotopy functors, Calculus. III: Taylor series, Quantum link homology via trace functor. I, Normality of algebras over commutative rings and the Teichmüller class. I: The absolute case, Higher Čech theory, A theory for environmental systems, Monads generated by monoids, Cosimplicial resolutions and homotopy spectral sequences in model categories, On Morita's localization, Abschwächungen des Adjunktionsbegriffs, Integral domain type representations in sheaves and other topoi, Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism, Other developments regarding the concept of energy in biological systems, On the external characterization of topological functors, Éléments de la théorie des catégories polyadiques, Über einen Satz von Gabriel zur Charakterisierung regulärer Colimites, Dense orbits in Z(P) the singular hypersurface of a prehomogeneous vector space, Forcing infinito generalizzato in teoria dei modelli, Free colimits, Homotopy of planar Lie group equivariant presheaves, Note on semi-topological functors, Mutation symmetries in BPS quiver theories: building the BPS spectra, Adjunctions in monoidal categories, Taylor series calculus for ring objects of line type, A categorical glimpse at the reconstruction of geometries, Categories, Examples of tensor categories, Embedding ordered topological spaces into topological semilattices, Simplicial sets from categories, DGA algebras as a Quillen model category relations to shm maps, On a method of constructing categories, Productive classes and subdirect irreducibility, in particular for graphs, A characterization of a class of categories of topological spaces, Pullback and pushout constructions in $C^*$-algebra theory, Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories), Categories of pairings, Equivalences of monoidal model categories, A ``geometric view of the dynamics of trajectories of computer programs, Geometric modules and algebraic $K$-homology theory, Dynamic bracketing and discourse representation, Symmorphy transformations and operators in the repeat space $X_ r (q)$ for additivity problems, Category equivalence preserves unification type, On communication relations for quons, The Berezinian in some monoidal categories, Categories equivalent to the category of rational H-spaces, Towers of fibrations and homotopical wreath products, Residuated semigroups and morphological aspects of translation invariant systems, Deformations of $W$-algebras associated to simple Lie algebras, Absolute homology theory of stereotype algebras, Functors between shape categories, On the structure of varieties with equationally definable principal congruences. I, Exact sequences for relative Brauer groups and Picard groups, Continuous families of coalgebras, The quantum double and related constructions, Stereotype group algebras, The Alexander duality functors and local duality with monomial support, Coherence and embedding of algebras, Topologische Algebrenkategorien, The MacLane problem on set-theoretical foundations for the category theory, An algebraic model of observable properties in distributed systems, Functorial models for Petri nets, Braided matrix structure of the Sklyanin algebra and of the quantum Lorentz group, Infinite highly arc transitive digraphs and universal covering digraphs, Traces in braided categories, On perfect isometries and isotypies in finite groups, Cooperads and coalgebras as closed model categories, Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors, Tensor products and entropic varieties, Some modifications of Scott's theorem on injective spaces, Toward formal development of programs from algebraic specifications: Implementations revisited, Hierarchical evolutive systems: A mathematical model for complex systems, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Identical particles and the simplicial category, Retracts of the closure space of filters in the lattice of all subsets, On completeness of locally-internal categories, Sur la théorie de Hodge-Deligne. (On the Hodge-Deligne theory), The superextension monad and its algebras, The linear abstract machine, The algebra of oriented simplexes, Nuclearity in the category of complete semilattices, Combinatorial proofs of symmetry formulas for the generalized hypergeometric series, Homotopy commutative diagrams and their realizations, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding, Representations and categorical realization of Hom-quasi-Hopf algebras, Orbits in higher singular subvarieties of a hypersurface of a form, Iterated chromatic subdivisions are collapsible, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I, Homomorphisms, homomorphic relations and power algebras, Relative fundamental groups and rational points, The representation of posets and lattices by sets, Subgroups of free idempotent generated regular semigroups, Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets, Categorical foundations for structured specifications in $\mathsf{Z}$, Complementation and inner automorphism for regular semigroups, Realizing strong shape equivalences, Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen, Recouvrement des {n}-categories, Classical and quantum conformal field theory, Algebras over fine categories, Colimits of continuous lattices, Classification of twisted free tensor products, A reification calculus for model-oriented software specification, On exponentiating exponentiation, Finite groupoids without finite bases for their identities, Sequences of adjoints for Ens-valued functors, Cartesianness: topological spaces, uniform spaces, and affine schemes, Unexpected properties of locally presentable categories, Kan extensions along full functors: Kan and Cech extensions of homotopy invariant functors, Tensor norms and operators in the category of Banach spaces, Pure Galois theory in categories, An algebraic approach to stable domains, Simplicial localizations of categories, Calculating simplicial localizations, Categories, toposes and sets, Continuous categories and exponentiable toposes, Extraction of mth roots in matrix rings over fields, Cohomology of the equivariant classifying spaces, Regular trees and the free iterative theory, Sequential algorithms on concrete data structures, A homotopy theory for stacks, The World's simplest axiom of choice fails, Abstract relational structures. I: General theory, The geometry of tensor calculus. I, Generalized 2-vector spaces and general linear 2-groups, Commutative semigroup cohomology, Cartan matrices and Morita equivalence for blocks of the symmetric groups, Construction and properties of adhesive and weak adhesive high-level replacement categories, $KK$-theories for topological algebras, Modules over discrete valuation domains. I, Quantum affine algebras and holonomic difference equations, Monads and algebras in the semantics of partial data types, The Volodin model for Hermitian algebraic $K$-theory, Notes on an extension of the structure of frame, Preservation of topological properties under exponentiation, Process and action: Relevant theory and logics, The adjoints to the derivative functor on species, Idempotent triples and completion, A categorical characterization of Boolean algebras, Imbedding compact semigroups in compact inverse semigroups, Induced functors on categories of algebras, A category-theoretic approach to systems in a fuzzy world, Semiadjoint functors and Kan extensions, The (tetra) category of pseudocategories in an additive 2-category with kernels, Quasi-commutative algebras, Kleisli morphisms and randomized congruences for the Giry monad, Tannaka-Krein duality for Hopf algebroids, $\mathcal{A}$-invariance: An axiomatic approach to quantum relativity, Higman's criterion revisited., On 0-homology of categorical at zero semigroups., Tilting and trivial extensions, Categorical convolutional formulas, The fundamental group of a topos, P-varieties - a signature independent characterization of varieties of ordered algebras, A note on powers of Hausdorff fields, Order completion monads, The order aspect of the fuzzy real line, Tensor product of partially-additive monoids, Algebraic $K$-theory and the norm residue homomorphism, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories, Coherence for bicategories and indexed categories, Functors on categories of finite group representations, The Skolem-Löwenheim theorem in toposes. II, Algebraic theories for continuous semilattices, The bilinear product category, Homotopical approach to strong shape or completion theory, Stone Duality Type Theorems for MV-Algebras with Internal State, GROTHENDIECK GROUPS AND A CATEGORIFICATION OF ADDITIVE INVARIANTS, Characterising Behavioural Equivalence: Three Sides of One Coin, On Braided Lie Structures of Algebras in the Categories of Weak Hopf Bimodules, Sheaf-theoretic representation of quantum measure algebras, Category-theoretic analysis of the notion of complementarity for quantum systems, Unnamed Item, Category ofp-Complete Abelian Groups, A Problem of B. Plotkin forS-Acts: Automorphisms of Categories of FreeS-Acts, Unnamed Item, Unnamed Item, Continuity, freeness, and filtrations, ON 3-DIMENSIONAL HOMOTOPY QUANTUM FIELD THEORY, I, Tiles for Reo, What Is a Multi-modeling Language?, Order-Sorted Parameterization and Induction, A compositional proof system on a category of labelled transition systems, Point Axioms in Dedekind Categories, Unnamed Item, Understanding one another: making out meanings with Boolean equations, The Mayer-Vietoris principle for Grothendieck-Witt groups of schemes, Stabilization of non-linear systems†, Note on topologies induced by coverings of approximation spaces, Homotopy type theory and Voevodsky’s univalent foundations, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, How the F-transform can be defined for hesitant, soft or intuitionistic fuzzy sets?, Equivalences of equivariant derived categories, Unnamed Item, Spectral presheaves as quantum state spaces, Polynomial identities in Novikov algebras, New Braided Crossed Categories and Drinfel'd Quantum Double for Weak Hopf Group Coalgebras, Constructing span categories from categories without pullbacks, INVARIANTS OF 3-MANIFOLDS ASSOCIATED TO 3-COCYCLES OF GROUPS, Divided power algebras and distributive laws, Rees matrix covers for a class of locallyU-commutative semigroups, Finite state automata: A geometric approach, The McKay correspondence as an equivalence of derived categories, Sets and Descent, Homotopy types and geometries below Spec(ℤ), Universal Coefficient Theorems and Assembly Maps in KK-Theory, Kernels and cokernels in the category of augmented involutive stereotype algebras, Rough Objects in Monoidal Closed Categories, A STRUCTURAL APPROACH TO THE LOCALITY OF PSEUDOVARIETIES OF THE FORM LH ⓜ V, Schur complements and LDU decomposition in an additive category, The need for a flat higher gauge structure to describe a Berry phase associated with some resonance phenomena, RESTRICTING THE COMPARISON FUNCTOR OF AN ADJUNCTION TO PROJECTIVE OBJECTS, Localisation homotopique et tour de Taylor pour une catégorie abélienne, Towers and pyramids I, ON ADJUNCTIONS INDUCING THE SAME MONAD, Hecke-Clifford superalgebras, crystals of type 𝐴_{2ℓ}⁽²⁾ and modular branching rules for ̂𝑆_{𝑛}, Recognizability of graph and pattern languages, Unnamed Item, Homotopy algebras and the inverse of the normalization functor, An arithmetic for matrix pencils: theory and new algorithms, The three dimensions of proofs, The Lusternik-Schnirelmann category of a Lie groupoid, Bitwistor and Quasitriangular Structures of Bialgebras, Graph Transformation by Computational Category Theory, Ranked highly-arc-transitive digraphs as colimits, Unification and projectivity in De Morgan and Kleene algebras., Boolean information sieves: a local-to-global approach to quantum information, Rank-finiteness for modular categories, Strict polynomial functors and coherent functors, Modules over discrete valuation domains. II, Module classifying functors, An Explicit Seven-Term Exact Sequence for the Cohomology of a Lie Algebra Extension, Some logical invariants of algebras and logical relations between algebras, A New Foundation for Finitary Corecursion, The Dipper-Du conjecture revisited, Limits of coalgebras, bialgebras and Hopf algebras, Homotopy theory of Moore flows (II), Unnamed Item, Homological Epimorphisms of Differential Graded Algebras, Unnamed Item, TIME AND A TEMPORALLY STATISTICAL QUANTUM GEOMETRODYNAMICS, Unnamed Item, α-Cuts and models of fuzzy logic, Tensor products of $A_\infty $-algebras with homotopy inner products, ON LOCALLY EHRESMANN SEMIGROUPS, Representations of étale Lie groupoids and modules over Hopf algebroids, Deformation theory of abelian categories, Groupoid cohomology and extensions, C-systems defined by universe categories: presheaves, Grothendieck’s Unifying Vision of Geometry, TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES, On generalized Hopf Galois extensions., Nullification functors and the homotopy type of the classifying space for proper bundles, Quantum group constructions in a symmetric monoidal category, Deforming 𝑙-adic representations of the fundamental group of a smooth variety, Coquasitriangular Hopf Group Algebras and Drinfel'd Co-Doubles, Algebraic $K$-theory of special groups, Cross-connections of the singular transformation semigroup, NONCOMMUTATIVE FERMION MASS MATRIX AND GRAVITY, Rosen's modelling relations via categorical adjunctions, The locality axiom in quantum field theory and tensor products of C*-algebras, SUPERBOSONIZATION VIA RIESZ SUPERDISTRIBUTIONS, On the Representation Theory of Lie Triple Systems, The action of the mapping class group on metrics of positive scalar curvature, An introduction to associative geometry with applications to integrable systems, Kleisli, Parikh and Peleg compositions and liftings for multirelations, On the construction of $\mathbb{Z}^n_2$-Grassmannians as homogeneous $\mathbb{Z}^n_2$-spaces, Logical quantization of topos theory, The category of commutative Hopf $C^*$-algebras, An equivalence theorem for inverse semigroups, Weakest preconditions in fibrations, Categorical approach to the construction of fuzzy graph grammars, A Lyndon's identity theorem for one-relator monoids, Exponentiable Grothendieck categories in flat algebraic geometry, Construction of a monadic Heyting algebra in a logos, Infinitary rewriting: closure operators, equivalences and models, Topological field theories and Harrison homology, Motives with modulus. III: The categories of motives, Determinants of Dirac boundary value problems over odd-dimensional manifolds, Local set theory, Canonical form of Tarski sets in Zermelo-Fraenkel set theory, Colour calculus and colour quantizations, Duality of convex bodies, On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic, Crossed products in bimodules, On $\lambda$-rings and the $K$-theory of infinite loop spaces, Simplicial chains over a field and $p$-local homotopy theory, Logical quantization of differential geometry, The variety of CH-algebras, Enveloping ringoids, Quasigroups, right quasigroups and category coverings, Logical quantizations of first-order structures, Higher weak (co)limits, adjoint functor theorems, and higher Brown representability, New model categories from old, Empirical quantum mechanics, Projecting sequential algorithms on strongly stable functions, Topological quantum field theories for surfaces with spin structure, On the structure of unoriented topological conformal field theories, Categorical shape theory as a formal language for pattern recognition?, Symmetries of knowledge bases, The Harish-Chandra isomorphism for reductive symmetric superpairs, On the tensor product of bimodule categories over Hopf algebras., Entourages, covers and localic groups, $L$-effect algebras, Compact corigid objects in triangulated categories and co-$t$-structures, Fundamental constructions for coalgebras, corings, and comodules., Towards a linear algebra of programming, Product of Chu spaces in the category of $Chu(S-Act)$, The Brauer-Clifford group for $(S,H)$-Azumaya algebras over a commutative ring., Cohomology of products and coproducts of augmented algebras., Coherence for product monoids and their actions, Witt vectors and the field with one element, Effective codescent morphisms in locally presentable categories, On base radical and semisimple classes defined by class operators, Character sheaves on unipotent groups in positive characteristic: foundations., Conjugate pairs of categories and Quillen equivalent stable model categories of functors, Categorical interpretations of some key agreement protocols, Proper/residually-finite idempotent semirings., Comorphisms of structured institutions, On a comparison of real with complex involutive complete algebras, Unital hyperarchimedean vector lattices, Transformations of fuzzy graphs specified by FD-grammars, Skew Weyl modules for $\text{GL}_n$ and degree reduction for Schur algebras, Enlargements of schemes, Modules over discrete valuation domains. III, On a category related to the Kalman algebra of a linear control system, Characterization of model Mirimanov-von Neumann cumulative sets, General Jacobi identity revisited again, On the representation of measures over bounded lattices, Quantum lattice gauge fields and groupoid $\mathrm{C}^{\ast}$-algebras, A Morita type equivalence for dual operator algebras, Stability on the Sato Grassmannian. Applications to the moduli of vector bundles, Descent in locally presentable categories, Generalized Płonka sums and products, Minimal topological algebras, The Skolem-Löwenheim theorem in toposes, Relative cohomology of algebraic theories, Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order, Monads for the formalization of a pattern matching procedure, The predicative Frege hierarchy, Tangent categories of algebras over operads, On the twisted tensor product of small dg categories, Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic, Gluing of $n$-cluster tilting subcategories for representation-directed algebras, Cohen-Montgomery duality for pseudo-actions of a group, Crossed semimodules of categories and Schreier 2-categories, On sheaf cohomology and natural expansions, A topological origin of quantum symmetric pairs, The Brauer group of Azumaya-Poisson $S$-algebras, Notes on the bicategory of $\mathrm{W}^\ast$-bimodules, On $q$-de Rham cohomology via $\Lambda $-rings, Unitary transformations of fibre functors, Rigid hyperholomorphic sheaves remain rigid along twistor deformations of the underlying hyparkähler manifold, On the globalization of geometric partial (co)modules in the categories of topological spaces and algebras, String diagrams and categorification, The big de Rham-Witt complex, Idempotent generated algebras and Boolean powers of commutative rings, Pullback and pushout crossed polymodules, Algebraic presentation of semifree monads, Existence of $B_{\alpha,\beta}^k$-structures on $C^k$-manifolds, Higher descent data as a homotopy limit, Exponential Kleisli monoids as Eilenberg-Moore algebras, Cubical approximation for directed topology. I, Unnamed Item, Cartesian inclusion: locales and topgses^∗, Products of statistical spaces, First quadrant spectral sequences in algebraic k-theory via homotopy colimits, Unnamed Item, Unnamed Item, Unnamed Item, The model category of maps of spaces is not cofibrantly generated, Generic Algebras, Some Results on Locally Finitely Presentable Categories, A Note on Pseudocompact Groups, Unnamed Item, Unnamed Item, Unnamed Item, Quotients of representation-finite algebras, A system of constructor classes: overloading and implicit higher-order polymorphism, Remark on the Simplicial-Cosimplicial Tensor Product, Exact functors, local connectedness and measurable cardinals, Unnamed Item, Cartesian-Closed Coreflective Subcategories of Uniform Spaces, Unnamed Item, Unnamed Item, Quantum collections, Unnamed Item, Serre-duality for Tails(𝐴), Representations of a pair of posets, Representations of a pair of posets, Right adjoint for the smash product functor, Unnamed Item, Examples of localizations, Cross-connections and variants of the full transformation semigroup, A categorical context for the james-hopf maps, T.T.F. theories in abelian categories, Adjoints to functors from categories of algebras, A Lefschetz trace formula for equivariant cohomology, Unnamed Item, On the Weak Order of Coxeter Groups, Unnamed Item, PROTECTION AS A GENERAL SYSTEMS PROBLEM, Metric spaces, generalized logic, and closed categories, Tensor products and regularity properties of Cuntz semigroups, The variable containment problem, Unnamed Item, Coalgebras and cartesian categories, Unnamed Item, Crossed Simplicial Groups and their Associated Homology, On homological properties of singular braids, CATEGORICAL AXIOMS OF NEIGHBORHOOD SYSTEMS, From Γ-spaces to algebraic theories, Unnamed Item, Constructions of fuzzy logic models in categories of sets with similarities, Tensor Structures Arising from Affine Lie Algebras. IV, GRÖBNER–SHIRSHOV BASES FOR DIALGEBRAS, Unnamed Item, INSTANCES AND RAMIFICATIONS OF THE SEMI-ADJOINT SITUATION II. THE COMPARISON FUNCTOR, Unnamed Item, ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION, CARTESIAN CLOSED COREFLECTIVE HULLS, A sharpened contravariant representation theorem, MONOID OBJECTS OVER SEMIGROUPS, AND THEIR ACTIONS, SOME TOPOLOGICAL FUNCTORS ARISING FROM ALGEBRAIC GEOMETRY, Localization of the dual functor in ban^ban, Torsion theories in affine categories, Generalized Toda Brackets and Equivariant Moore Spectra, A Categorical Approach to Mereology and Its Application to Modelling Software Components, Unnamed Item, A sheaf-theoretic topos model of the physical ‘Continuum’ and its cohomological observable dynamics, Unnamed Item, Unnamed Item, Computations and applications of some homological constants for polynomial representations of 𝐺𝐿_{𝑛}, Applications of Finite Duality to Locally Finite Varieties of BL-Algebras, Vertex rings and their Pierce bundles, Distributive laws and lifting of triples, OPEN-CLOSED TQFTS EXTEND KHOVANOV HOMOLOGY FROM LINKS TO TANGLES, Homology Operations on a New Infinite Loop Space, Orthogonal Calculus, Symmetric spectra, On reflections in abelian categories, The isomorphisms of the category of uniform spaces and related categories, The Fraser-Horn and Apple Properties, On completion and shape, Unnamed Item, Algebraic specification of data types: A synthetic approach, Well-closed subschemes of noncommutative schemes, HOMOTOPY QUANTUM FIELD THEORIES AND THE HOMOTOPY COBORDISM CATEGORY IN DIMENSION 1 + 1, On the synchronization of traces, SYNTHESIS WITH RESPECT TO FUZZY ENTROPY, Categorical and topological aspects of formal languages, Remarks on Colocalization and Equivalence, Automata in categories. The decomposition problem, On the homotopy of simplicial algebras over an operad, Unnamed Item, Note on adjoints, Expansion of linear and semilinear systems and the Popov criterion, Intersection theory on non-commutative surfaces, Inductive limits of multispectra, On the existence of coproducts in the category of noncommutative algebras^†, Injective Rings, An equivariant smash spectral sequence and an unstable box product, Cleft extensions of abelian categories and applications to ring theory, Unnamed Item, General Double Quantum Groups, AUTOMATA AND TREE AUTOMATA AS (F₁, F₂)-COALGEBRAS, Unnamed Item, Unnamed Item, Realization is universal, On an inner product in modular tensor categories, Homotopy coherent category theory, AN ANALOGUE OF KEGEL'S THEOREM FOR QUASI-ASSOCIATIVE ALGEBRAS, The Auslander bijections: how morphisms are determined by modules, Group action in topos quantum physics, RELATIONAL TOPOLOGY AS THE FOUNDATION FOR QUANTUM GRAVITY, HOMOTOPY OF POSETS, NET-COHOMOLOGY AND SUPERSELECTION SECTORS IN GLOBALLY HYPERBOLIC SPACE-TIMES, Classical Structures Based on Unitaries, On 3-dimensional homotopy quantum field theory II: The surgery approach, Infinite-Dimensional and Colored Supermanifolds, On simpleness of semirings and complete semirings, Combinatorial dimensions: Indecomposability on certain local finite-dimensional trivial extension algebras, Product Rules and Distributive Laws, Database queries and constraints via lifting problems, Extending Tilting Modules to One-Point Extensions by Projectives, On the Black-box Use of Somewhat Homomorphic Encryption in NonInteractive Two-Party Protocols, Categorical Morita Equivalence for Group-Theoretical Categories, Deformations of schemes and other bialgebraic structures, Unnamed Item, A Categorical Approach to Turaev's Hopf Group-Coalgebras, A New–old Characterisation of Logical Knowledge, A topos foundation for theories of physics: I. Formal languages for physics, Sheaves of C*‐algebras, Semisymmetrization and Mendelsohn quasigroups, Global theory of graded manifolds, Cross-connection structure of locally inverse semigroups, CONNECTIVITY AND PURITY FOR LOGARITHMIC MOTIVES, Green groupoids of 2-Calabi–Yau categories, derived Picard actions, and hyperplane arrangements, Categorified groupoid-sets and their Burnside ring, Adjoint Logic with a 2-Category of Modes, On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness, On two extension of dicksons torsion theory, $\overline{Spec\mathbb Z}$ and the Gromov norm, Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions, On Hopf Algebras and Their Generalizations, Homflypt skein theory, string topology and 2-categories, Unnamed Item, Finitary monads on the category of posets, Unnamed Item, The hitchhiker guide to Categorical Banach space theory. Part II., A categorical approach to quantum moment maps, Flops and spherical functors, Parametricity of extensionally collapsed term models of polymorphism and their categorical properties, Unnamed Item, RIGOUR AND PROOF, Topological quantum computation on supersymmetric spin chains, On the Category of EQ-algebras, A set-theoretic proof of the representation of MV-algebras by sheaves, A categorical approach to dynamical quantum groups, Proof Nets, Coends and the Yoneda Isomorphism, Equivariant Morita theory for graded tensor categories, The tensor embedding for a Grothendieck cosmos, An anti-isomorphism between Brauer-Clifford-Long groups $BD (S, H)$ and $BD(S^{\mathrm{op}},H^*)$, An exper model for Quest, m-Algebraic lattices in formal concept analysis, Morita isomorphism for Cuntz algebras, On one-way ring homomorphisms, Generalized symmetries of topological field theories, Runners for interleaving algebraic effects, Double preconditioning for Gabor frame operators: algebraic, functional analytic and numerical aspects, ENDOSCOPY FOR HECKE CATEGORIES, CHARACTER SHEAVES AND REPRESENTATIONS, Parabolic connections and stack of roots, Unbounded algebraic derivators, Unnamed Item, Semiring systems arising from hyperrings, Fuzzy Analogues of Sets and Functions Can Be Uniquely Determined from the Corresponding Ordered Category: A Theorem, ON DERIVATIONS ASSOCIATED WITH DIFFERENT ALGEBRAIC STRUCTURES IN GROUP ALGEBRAS, The relative monoidal center and tensor products of monoidal categories, Unnamed Item, Unnamed Item, Notes on the Geometric Satake Equivalence, Unnamed Item, Higher lattices, discrete two-dimensional holonomy and topological phases in (3 + 1)D with higher gauge symmetry, A note on the quantum family of maps, Unnamed Item, Finite Characterization of the Coarsest Balanced Coloring of a Network, Denotational semantics for guarded dependent type theory, Centre of Monoids, Centralisers, and Localisation, QUANTUM MECHANICAL OBSERVERS AND TIME REPARAMETRIZATION SYMMETRY, A COMPARISON OF THE FUNCTORS OF POINTS OF SUPERMANIFOLDS, Tilting equivalences for Grothendieck categories, The Cobordism hypothesis, Algebraic Rieffel induction, formal Morita equivalence, and applications to deformation quantization., Multimonads and multimonadic categories, Quantum Speedup and Categorical Distributivity, On feedback invariants for linear dynamical systems, Long exact sequences in the first variable for algebraic cohomology theories, $\mathbb{A}^1$-homotopy theory of schemes, GRÖBNER–SHIRSHOV BASES FOR L-ALGEBRAS, A METHOD TO CONSTRUCT COQUASITRIANGULAR HOPF GROUP ALGEBRAS, Unnamed Item, Symmetric monoidal categories and $\Gamma$-categories, Topological Hochschild homology of number rings, Cohomology of $G$-sheaves in positive characteristic, Final Dialgebras: From Categories to Allegories, Multivalued sheaf constructions, Unnamed Item, Lipschitz groups and Lipschitz maps, On $p$-adic $\lambda$-rings and the $K$-theory of $H$-spaces, Unnamed Item, Dynamical locality of the free Maxwell field, Eilenberg-Watts calculus for finite categories and a bimodule Radford 𝑆⁴ theorem, Unnamed Item, Cross-connection structure of concordant semigroups, Order-enriched solid functors, Weakest preconditions in fibrations, Remarks on affine complete distributive lattices, Noetherian schemes over abelian symmetric monoidal categories, Rational Cup Product and Algebraic K₀-Groups of Rings of Continuous Functions, Homotopy inverses for nerve, Unnamed Item, The character algebra formodule categories over Hopf algebras, Antipodes, preantipodes and Frobenius functors, Further remarks on group-2-groupoids, HIGHER -THEORY OF FORMS I. FROM RINGS TO EXACT CATEGORIES, Unnamed Item, Implicit Partiality of Signature Morphisms in Institution Theory, Balanced Categories and the Biorder in Semigroups, The Mathematical Work of K. S. S. Nambooripad, On the correctness of monadic backward induction, Cross effects and calculus in an unbased setting, Normality and quotient in crossed modules over groupoids and 2-Groupoids, Crossed semimodules and cat$^{\bf 1}$-monoids, Remarks on affine complete distributive lattices, RIGIDIFIED TORSOR COCYCLES, HYPERCOVERINGS AND BUNDLE GERBES, On reduction and normalization in the computational core