Publication:5639839
From MaRDI portal
zbMath0232.18001MaRDI QIDQ5639839
Publication date: 1971
18-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory
Related Items
A Note on Hyperspaces and Terminal Coalgebras, Unnamed Item, Unnamed Item, Quelques remarques sur la cohomologie modulo $p$ continue des pro-$p$-espaces et les résultats de J. Lannes concernant les espaces fonctionnels ${\rm hom}(BV,X)$, Homotopy and Uniform Homotopy, Unnamed Item, Universal arrows to forgetful functors from categories of topological algebra, Cosmoi of Internal Categories, Tensor Product of Commutative Unions of Groups, Higher type categories, Retrieving library functions by unifying types modulo linear isomorphism, On a duality between Boolean valued analysis and topological Reduction Theory, Unnamed Item, Unnamed Item, A Concrete Categorical Model for the Lambek Syntactic Calculus, Some categorical remarks on the representation theory of coalgebras, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Harmonic analysis in weighted L2-spaces, A closed simplicial model category for proper homotopy and shape theories, Minimal realization of machines in closed categories, A Category of Pseudo-tangles with Classifying Space Ω∞S∞and Applications, Triangular Logic of Partial Toposes, Unnamed Item, ON THE ZAPPA-SZÉP PRODUCT, L-FUNCTORS AND ALMOST SPLIT SEQUENCES, Orders in non-semisimple algebras, Topological groupoids: I. universal constructions, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A formalism for the specification of essentially-algebraic structures in 2-categories, CATEGORICAL APPROACH TO GENERAL SYSTEMS THEORY, Lambek's categorical proof theory and Läuchli's abstract realizability, Unnamed Item, Unnamed Item, Compositional characterization of observable program properties, Unnamed Item, Dominions de foncteurs relatifs II, Linear algebra in a local ringed site, 𝑃_{𝑛}-spaces and 𝑛-fold loop spaces, Compatible tight Riesz orders on groups of integer-valued functions, Unnamed Item, Fuzzy machines in a category, Lawvere's basic theory of the category of categories, Topology and logic as a source of algebra, Varieties of a closed category, A notion of limit for enriched categories, Conditions for a universal mapping of algebras to be a monomorphism, Unnamed Item, An adjoint-functor theorem over topoi, Unnamed Item, On product-preserving Kan extensions, Linear monads, A monadicity theorem, Density presentations of functors, Functors on the Category of Finite Sets, Unnamed Item, Duality in topological algebra, Unnamed Item, Unnamed Item, Unnamed Item, On characterisation of finitary algebraic categories, Unnamed Item, Homotopy colimits in the category of small categories, Unnamed Item, Unnamed Item, Unnamed Item, An extension of Pontryagin duality, The Generalized Fredholm Operators, On Pontryagin duality, Unnamed Item, On injective profinite algebras, Points in topoi of sheaves over distributive lattices, Fibrations and geometric realizations, Localization and Sheaf Reflectors, Factorization of Cones, Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras, Linearization of group stack actions and the Picard group of the moduli of $SL_r/\mu_s$-bundles on a curve, Unnamed Item, On the Representation of Lattices by Modules, Unnamed Item, The exact sequence for a monoidal functor between closed categories, Coherence in Nonmonoidal Closed Categories, Triples on Reflective Subcategories of Functor Categories, Embedding of Closed Categories Into Monoidal Closed Categories, Unnamed Item, Coherent Extensions and Relational Algebras, Cartesian isomorphisms are symmetric monoidal: A justification of linear logic, Continuous monoids and semirings, Models for name-passing processes: Interleaving and causal, Exact categories and distributive lattices (orthodox symmetrizations, 2), An axiomatization of the algebra of Petri net concatenable processes, Quasi-prime algebraic domains, Principles of programming with complex objects and collection types, Discussing some examples of linear system interconnections, Process versus unfolding semantics for Place/Transition Petri nets, The meaning of specifications I: Domains and initial models, Free objects and equational deduction for partial conditional specifications, Term rewriting and Hoare logic -- Coded rewriting, On the implementation of concurrent calculi in net calculi: two case studies, Studying equivalences of transition systems with algebraic tools, On the role of memory in object-based and object-oriented languages, Generalized sketches as a framework for completeness theorems. I-III, Duality for semilattice representations, Syntactic characterizations of closure under pullbacks and of locally polypresentable categories, On the generalized Lie structure of associative algebras, Determinants, integrality and Noether's theorem for quantum commutative algebras, Categorical ML -- category-theoretic modular programming, A sheaf-theoretic approach to pattern matching and related problems, Tail recursion through universal invariants, Linear logic, coherence and dinaturality, A logic for category theory, Graph rewriting for a partial ordering semantics of concurrent constraints programming, The equations \(D^ k Y = X^ n\) in combinatorial species, Weakly hereditary regular closure operators, Forms of life: Unprogrammability constitutes the outside of a system and its autonomy, Median graphs, parallelism and posets, On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Algebraic classification of equivariant homotopy 2-types. I, A discrete approach to topological quantum field theories, Domains arising as algebras for powerspace constructions, Galois theory in variable categories, Stone coalgebras, Generalization of \(L\)-closure spaces, Quillen Grassmannians as non-modular homotopy fixed points, Gabriel-Popescu type theorems and applications, Kan extensions of homotopy functors, The topology of discrete groups, Applicability of a production in a categorical grammar, The category of mono-unary algebras, The Frobenius rank equality for morphisms, Continuous posets and adjoint sequences, Semi-topological functors III: Lifting of monads and adjoint functors, Flatness in varieties of normal bands, Partially additive categories and flow-diagram semantics, Duality theory for discrete-time linear systems, Unique fixed points vs. least fixed points, A method from categories for introducing a general notion of convergence and limit, On the algebra of order, Groups with projections and applications to homotopy theory, On new roles for categorical algebra, Varieties of chain-complete algebras, An algebraic model of ethical cognition, Are colimits of algebras simple to construct?, Foundations of system theory: The Hankel matrix, Duality in homotopy theory: A retrospective essay, Théories egalitaires dans les langages sur types de graphes, Arrows, symmetries and representation rings, Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius, On full embeddings. I, Lie coalgebras, Intuitionist type theory and the free topos, Fuzzy sets: A topos-logical point of view, Compact and hypercomplete categories, Boundedly generated topological spaces, A non-commutative non-cocommutative Hopf algebra in nature, Sheaves and prime model extensions, Universal topological algebra needs closed topological categories, Torsion products as homotopy groups, Alcune proprieta della categoria delle T-algebre, Categoria degli universi di dispositivi e categoria delle T-algebre, Conspectus of variable categories, Pairings of categories and spectra, The global theory of flows in networks, Duality, crossing and MacLane's coherence, Domain theory in logical form, Sheaves, localizations, and unstable extensions: Some counterexamples, Equivalence, reduction and minimization of finite automata over semirings, Classes of finite relations as initial abstract data types. I, Projectales, A rational equation for attractive proportions, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Quantitative domains and infinitary algebras, Contraction algebras and unification of (infinite) terms, An algebraic model of synchronous systems, Cartesian closed coreflective subcategories of the category of topological spaces, Matrices whose coefficients are linear forms in logarithms, Lattices over integral group rings and abelian subquotients, Elementary transition systems, Conditional rewriting logic as a unified model of concurrency, Analyzing Nash-Williams' partition theorem by means of ordinal types, New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic, Categorical models of polymorphism, Strictness analysis via abstract interpretation for recursively defined types, A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization, A layered semantics for a parallel object-oriented language, Some economic applications of Scott domains, Continuous fields of \(C^*\)-algebras arising from extensions of tensor \(C^*\)-categories, Cosimplicial versus DG-rings: A version of the Dold-Kan correspondence, Adding recursive constructs to bialgebraic semantics, Comparing Cartesian closed categories of (core) compactly generated spaces, Comparing hierarchies of types in models of linear logic, Arithmetical birational invariants of linear algebraic groups over two-dimensional geometric fields, Explicit models for perverse sheaves, Clustering for Petri nets, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, Structured theories and institutions, On tree coalgebras and coalgebra presentations, De Bakker-Zucker processes revisited, On the call-by-value CPS transform and its semantics, Trees and ultrametric spaces: A categorical equivalence, Crossed Burnside rings. II: The Dress construction of a Green functor, On universal Vassiliev invariants, Tangles and Hopf algebras in braided categories, Modular transformations for tensor categories, On completeness and cocompleteness in and around small categories, A suspension spectral sequence for \(v_ n\)-periodic homotopy groups, Quasi-varieties, congruences, and generalized Dowling lattices, Categorial generalization of algebraic recursion theory, Double construction for monoidal categories, Construction and representation of regular semigroups, Category-based modularisation for equational logic programming, Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity, Trace nets and process automata, A rational reconstruction of the domain of feature structures, Constructing a quasi-uniform function space, Monads for which structures are adjoint to units, Representations of quantum affine algebras, Modularity and descent, Limits in free coproduct completions, Semilattice-based dualities, Profinite categories, implicit operations and pseudovarieties of categories, Avoiding the axiom of choice in general category theory, Fuzzy subcontinuity, inverse fuzzy subcontinuity and a new category of fuzzy topological spaces, Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces, A lower bound on computational complexity given by revelation mechanisms, Classes of valuations closed under operations Galois-dual to Boolean sentence connectives, The development and prospects for category theory, On fixpoint objects and gluing constructions, Mal'cev categories and fibration of pointed objects, Categories of algebraic sets, A specification structure for deadlock-freedom of synchronous processes, Modules over operator algebras, and the maximal \(C^*\)-dilation, Weak Hopf algebras. I: Integral theory and \(C^*\)-structure, Stereotype approximation property and the uniqueness problem for the trace, Twisted multi-homogeneous coordinate rings, Using rewriting systems to compute left Kan extensions and induced actions of categories, Baxter algebras and shuffle products, Differential equations of order two with one singular point, Chord diagram invariants of tangles and graphs, Amenable tensor categories and their realizations as AFD bimodules, On free Baxter algebras: Completions and the internal construction, The class of topological spaces is equationally definable, Adjoint functors and bar constructions, Algebraic recognizability of regular tree languages, A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains, Free modules over Cartesian closed topological categories, Quasi-coproducts and accessible categories with wide pullbacks, Process synchronisation as fusion, Precedence-inclusion patterns and relational learning, A simple proof of Bernstein-Lunts equivalence, Direct limits and fixed point sets, Compactly generated Hausdorff locales, Computation of the equivariant 1-stem., Correspondences of ribbon categories, A general framework for types in graph rewriting, Duality for finite Hilbert algebras, PULLBACKS AND FLATNESS PROPERTIES OF ACTS. I, Replacing model categories with simplicial ones, Diagram projection rules for recoupling diagrams in the Racah–Wigner category, Unnamed Item, Unnamed Item, Enlargeable Banach-Lie algebras and free topological groups, Free Burnside Semigroups, Alexandroff Algebras and Complete Regularity, Pontryagin Duality for Topological Modules, Morita Contexts of Enriched Categories, Adjoint Functors Induced by Adjoint Linear Transformations, The Brauer Group of a Closed Category, Unnamed Item, Unnamed Item, Unnamed Item, Comultiplications in algebra and topology, Unnamed Item, Unnamed Item, Unnamed Item, Minimalfunktoren nach Graphenkategorien mit HAMILTONeigenschaften, Unnamed Item, Unnamed Item, Einbettbarkeit in den Bidualraum und Darstellbarkeit als projektiver Limes in Kategorien von Limesvektorräumen, Isomorphism of structures in S-toposes, Injectivity, Projectivity, and the Axiom of Choice, Semilimits in Categories, Axiomatizing a category of categories, KV-Theory of Categories, The Equivariant Hurewicz Map, Centric Maps and Realization of Diagrams in the Homotopy Category, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Determination of a double Lie groupoid by its core diagram, Nicolas Bourbaki and the concept of mathematical structure, \(dI\)--domains as prime information systems, An algebraic semantics for structured transition systems and its application to logic programs, Foundations of a theory of synchronous systems, Resolutions of determinantal ideals: \(n\)-minors of \((n+2)\)-square matrices, Foliated semantic networks: Concepts, facts, qualities, Function spaces, cartesian closedness and nonstandard methods, Equivariant Eilenberg-MacLane spaces and the equivariant Seifert-van Kampen and suspension theorems, Vecteurs de Witt non commutatifs et représentabilité de l'homologie modulo \(p\). (Noncommutative Witt vectors and representability of homology modulo \(p\)), Quasi-quantum groups, knots, three-manifolds, and topological field theory, On function spaces whose source is the classifying space of an elementary abelian \(p\)-group, Comprehension categories and the semantics of type dependency, Free monoids, Toposes without points, Foundations of system theory: Decomposable systems, Morita equivalence for C\(^*\)-algebras and W\(^*\)-algebras, Existence of the Adams completion for objects of complete categories, Discrete-time machines in closed monoidal categories. I, Natural state transformations, Sequence-to-sequence recursiveness, Projective resolutions of topological spaces, On the planarity of rings, Parallel realization of systems, using factorizations and quotients in categories, Change of base for toposes with generators, Flache und halbinjektive Funktoren, Symétrisations de catégories. I: Généralités, Group completing monoidal categories, Quantifier-complete categories, Constructions of factorization systems in categories, The uniqueness of homology for the category of small categories, A duality principle for lattices and categories of modules, An algebraic characterization of the behaviour of non-sequential systems, Fuzzy subobjects in a category and the theory of \(\mathcal C\)-sets, Brauer groups and Amitsur cohomology for general commutative ring extensions, On algebraic recognition of direct-product decompositions, Categorical shape theory and the back and forth property, Extension theories for monoids, Induction in orthodox involution categories (orthodox categories, 3), Bimatroids and invariants, A semantically meaningful characterization of reducible flowchart schemes, Fixed-point constructions in order-enriched categories, Every topological category is convenient for Gelfand duality, Categorical constructions of free algebras, colimits, and completions of partial algebras, The relativization of \(K_2\), Three efficient algorithms for counting problems, A fibred homotopy equivalence and homology theories for the category of small categories, Locally finite near fields, Semi-topological functors. I, Free monads and the orthogonal subcategory problem, On topologies generated by Moisil resemblance relations, Lie theory of formal groups over an operad., Natural transformations of the superpositions of distinguished functors in certain closed categories, An example of a braided category of \(C^*\)-algebras, Combinatorial models for coalgebraic structures, Quotient star bodies, intersection bodies, and star duality, Spherical categories, Green's relations in some categories of strong graph homomorphisms, Properly injective spaces and function spaces, A categorical version of the Lefschetz-Nöbeling-Pontryagin theorem on embedding compacta in \(\mathbb{R}^n\), A synthetic Frobenius theorem, Homology and cohomology with coefficients, of an algebra over a quadratic operad, On the homotopy structure of strongly homotopy associative algebras, Constructing inverse semigroups from category actions, Embeddings from the point of view of immersion theory. I, A categorical critical-pair completion algorithm, Exponentiable objects in the category of topological molecular lattices, Cross product bialgebras. I, A Leray theorem for the generalization to operads of Hopf algebras with divided powers, Chern-Simons theory with finite gauge group, Locale theory and fuzzy topology, Quadratic functors and metastable homotopy, Minimal models and derived functors, The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus, Sketches and parametrization, Higher algebraic structures and quantization, The algebraic theory of order, Effective descent maps of topological spaces, A cohomology theory for \(A(m)\)-algebras and applications, State-sum invariants of 3-manifolds associated to Artinian semisimple tortile categories, Preorders, residuation and closure spaces, On the notion of bimodel for functorial semantics, Facets of descent. I, Semantics of weakening and contraction, Homotopical algebra in homotopical categories, 2-categories and 2-knots, Descent and duality, Galois theory and a general notion of central extension, An algebraic theory of normal forms, Completeness results for intuitionistic and modal logic in a categorical setting, Algebraic domains of natural transformations, Categorical abstract machines for higher-order typed \(\lambda\)-calculi, Parametricity as isomorphism, Endomorphisms of complete Heyting algebras, Schur algebras and global bases: New proofs of old vanishing theorems, Model theory of functors: Axiomatizability problems, Algebraic theories of compact pospaces, Reconstruction of weak quasi Hopf algebras, A new approach to fuzzy topological spaces and fuzzy perfect mappings, Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras, Koszul theorem for \(S\)-Lie coalgebras, Quadratic categories and square rings, Closure categories, May I borrow your logic? (Transporting logical structures along maps), Constructing process categories, Monad as modality, Triples on functor categories, Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay, Glueing and orthogonality for models of linear logic, Chu spaces as a semantic bridge between linear logic and mathematics., The edge-isoperimetric problem on the 600-vertex regular solid, Presheaf models for CCS-like languages, Topological Morita contexts, Topological André--Quillen cohomology and \(E_{\infty}\) André--Quillen cohomology, The lifting and classification problems for subspaces of covering spaces, Cofibrant operads and universal \(E_{\infty}\) operads., Fragments of almost ring theory, Towards an algebraic theory of Boolean circuits., Smash product of pointed objects in lextensive categories, Covers for monoids., A database of categories., Implementing finite structures in Mathematica via a skeletal topos of finite sets., Fundamental group of homotopy colimits., Toward a characterization of algebraic exactness., Twisting of homogeneous algebras., Representable multicategories, Properties of free Baxter algebras, A small final coalgebra theorem, Safe recursion with higher types and BCK-algebra, A coherent approach to pseudomonads, Category theory and the foundations of mathematics: philosophical excavations., Representations of tensor categories with fusion rules of self-duality for abelian groups, Detecting equivalence of modular specifications with categorical diagrams, Universal coalgebra: A theory of systems, An application of lattice theory to knowledge representation, The Whitney algebra of a matroid, On the Lego-Teichmüller game, On weak higher dimensional categories. I: Part 1, On diagrams and flatness of functors, Categories of representations of coalgebroids, Names of the \(\pi\)-calculus agents handled locally, A simple characterization of theories of varieties, Category metrics and valuations of concrete categories, Semisupermanifolds and regularization of categories, modules, algebras and Yang-Baxter equation, Code migration and program maintainability -- A categorical perspective, On institutions for modular coalgebraic specifications., Jones-Witten invariants for nonsimply connected Lie groups and the geometry of the Weyl alcove, Categories of fuzzy sets and weak topos, Premonoidal categories as categories with algebraic structure, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Clifford algebras obtained by twisting of group algebras, Derived functors for maps of simplicial spaces, Uniqueness of monogeny classes for uniform objects in abelian categories, Beck's theorem for pseudo-monads, Characterizing shape theories by Kan extensions, Almost split sequences for comodules, When does \(P\)-localization preserve homotopy pushouts or pullbacks?, Observational heterarchy enhancing active coupling, A behavioural pseudometric for probabilistic transition systems, Automorphisms of the category of free Lie algebras, The minimal mathematical structure for a synchronic approach to fuzzy set theory, Autonomous indefiniteness versus external indefiniteness: Theory of weak topped \(\cap\)-structure and its application to elementary local cellular automaton, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms, Cartesian closed topological categories and tensor products, Relating categorical semantics for intuitionistic linear logic, A theory of sequentiality, Derived functors of graded algebras, Almost split sequences for relatively projective modules, Infinite hypergraphs. I: Basic properties, Catalan monoids, monoids of local endomorphisms, and their presentations, On the functors \(CW_ A\) and \(P_ A\), Cotangent cohomology of a category of deformations, Possible worlds and resources: The semantics of \(\mathbf{BI}\), \(U\)-Sets as a possibilistic set theory, The fuzzy Tychonoff theorem, On the boundedness of topological categories, On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs, A characterization of dual spaces, TFT construction of RCFT correlators. I: Partition functions, Tannaka duals in semisimple tensor categories, A short note on coherence and self-similarity, Pseudo-commutative monads and pseudo-closed 2-categories, Quasi-categories and Kan complexes, Codescent objects and coherence, Normal forms for algebras of connections., A functorial semantics for multi-algebras and partial algebras, with applications to syntax., Relaxed models for rewriting logic, Coalgebras and monads in the semantics of Java, Zero-safe nets: Comparing the collective and individual token approaches., Semantics of temporal classes, Objects and classes in Algol-like languages, Intrinsic centrality and associated classifying properties, A hidden Herbrand theorem: Combining the object and logic paradigms, Quantum groups and ribbon \(G\)-categories, Limit structures over completely distributive lattices, Fibration models and localisation of categories, Taut monads and \(T0\)-spaces., Cochain algebras of mapping spaces and finite group actions, Observational logic, constructor-based logic, and their duality., Unnamed Item, Unnamed Item, Unnamed Item, Colimits in Topoi, FROBENIUS FUNCTORS OF THE SECOND KIND, Homomorphisms of algebras, Homomorphisms of heterogeneous algebras, Intertwiners and the K-theory of commutative rings, On the de Rham–Witt complex in mixed characteristic, Strongly homotopy lie algebras, Projective Limits in Harmonic Analysis, Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi‐Algebras and Algebras, 1994 Spring Meeting of the Association for Symbolic Logic, A sheaf representation and duality for finitely presented Heyting algebras, Monads Defined by Involution-Preserving Adjunctions, Poulebèques de modules quasi-cohérents, THE LANGUAGE OF GENERAL SYSTEMS LOGICAL THEORY (GSLT), Algèbres rationnelles et variétés algébriques sur un corps commutatif quelconque, Unnamed Item, The comprehensive factorization of a functor, Filtering unification and most general unifiers in modal logic, A structural investigation on formal topology: coreflection of formal covers and exponentiability, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Deductive Completeness, Lazard's Theorem for S ‐posets, Weak Hopf algebras. II: Representation theory, dimensions, and the Markov trace, Localization at Injectives in Complete Categories, The regular-locally compact coreflection of a stably locally compact locale, A Morita theorem for algebras of operators on Hilbert space, Topological description of representations of \(U_q(sl_2)\), On weak higher-dimensional categories. I. 2, Homotopy inverses for nerve, Normal forms for connectedness in categories, On Hopf algebras with positive bases, Amalgamated free products of inverse semigroups, A pseudo-analyzer approach to formal group laws not of operad type, Fuzzy topology based on residuated lattice-valued logic, A homotopy idempotent construction by means of simplicial groups, The origin of universality: making and invalidating a free category, Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories, Monoidal uniqueness of stable homotopy theory, Coproducts and Some Universal Ring Constructions, Invariants of a quadratic form attached to a tame covering of schemes., On phase semantics and denotational semantics: The exponentials, Quantales, finite observations and strong bisimulation, A coalgebraic presentation of structured transition systems, On the structure of categories of coalgebras, Equational axiomatizability for coalgebra, Graded extensions of monoidal categories, Spectra of modules, From coherent structures to universal properties, Group symmetry in tensor categories and duality for orbifolds, Kan extensions of internal functors. Nonconnected case, Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, Two applications of analytic functors, Innocent game models of untyped \(\lambda\)-calculus, Computational complexity of some problems involving congruences on algebras, Node rewriting in graphs and hypergraphs: A categorical framework, (Co)Homology of crossed modules, Topological geometrical categories, Monads on tensor categories, Tannaka duality for Maschkean categories, Multimonads and multimonadic categories
