scientific article; zbMATH DE number 195199

zbMATH Open0705.18001MaRDI QIDQ4693151FDOQ4693151

Authors: Saunders Mac Lane 

Publication date: 5 June 1993

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (only showing first 100 items - show all)

• Brauer-Clifford group of Poisson \((S,H)\)-Hopf algebras
• Ternary mappings of triangular algebras
• Intersection theory on non-commutative surfaces
• The adjoints to the derivative functor on species
• Geometric modules and algebraic \(K\)-homology theory
• From Γ-spaces to algebraic theories
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• The Brauer group of Azumaya-Poisson \(S\)-algebras
• On Hopf Algebras and Their Generalizations
• Explaining Gabriel-Zisman localization to the computer
• 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.
• On the representation of measures over bounded lattices
• Distributive laws and lifting of triples
• The variable containment problem
• Cohomology of the equivariant classifying spaces
• Tilting equivalences for Grothendieck categories
• Algebraic \(K\)-theory and the norm residue homomorphism
• Modular functors in homotopy quantum field theory and tortile structures.
• General Jacobi identity revisited again
• On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
• New model categories from old
• Skew Weyl modules for \(\text{GL}_n\) and degree reduction for Schur algebras
• \(F\)-isocrystals and homotopy types
• The persistent homology of a self-map
• Representations and categorical realization of Hom-quasi-Hopf algebras
• On exponentiating exponentiation
• Categories, toposes and sets
• Iterated chromatic subdivisions are collapsible
• Enlargements of schemes
• Remark on the Simplicial-Cosimplicial Tensor Product
• Universal coefficient theorems and assembly maps in KK-theory
• On categories of fuzzy Petri nets
• Relative fundamental groups and rational points
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Strong homotopy theory of cyclic sets
• Long exact sequences in the first variable for algebraic cohomology theories
• Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N
• The order aspect of the fuzzy real line
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
• Entourages, covers and localic groups
• Homomorphisms, homomorphic relations and power algebras
• Brauer-Clifford group of Azumaya-Poisson \((S, H)\)-algebras
• Über einen Satz von Gabriel zur Charakterisierung regulärer Colimites
• Quasi-commutative algebras
• Examples of tensor categories
• Characterizing categories of algebras
• Categorical interpretations of some key agreement protocols
• Title not available (Why is that?)
• $\overline{Spec\mathbb Z}$ and the Gromov norm
• Formal groups and stable homotopy of commutative rings
• Profinite multiplicativity of functors and characterization of projective monads in the category of compact spaces
• Finite groupoids without finite bases for their identities
• A category-theoretic approach to systems in a fuzzy world
• On the external characterization of topological functors
• Note on semi-topological functors
• On feedback invariants for linear dynamical systems
• Witt vectors and the field with one element
• Tannaka duality on quotient stacks
• Hierarchical evolutive systems: A mathematical model for complex systems
• Retracts of the closure space of filters in the lattice of all subsets
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• A comparison of the functors of points of supermanifolds
• On 3-dimensional homotopy quantum field theory II: the surgery approach
• A Brauer-Clifford-Long group for the category of dyslectic Hopf Yetter-Drinfel'd \((S,H)\)-module algebras
• The Brauer-Clifford group for \((S,H)\)-Azumaya algebras over a commutative ring.
• Braided matrix structure of the Sklyanin algebra and of the quantum Lorentz group
• 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
• Empirical set theory
• Categorical principles, techniques and results for high-level-replacement systems in computer science
• Lexicographic sums and fibre-faithful maps
• Nuclearity in the category of complete semilattices
• Unexpected properties of locally presentable categories
• DGA algebras as a Quillen model category relations to shm maps
• The three dimensions of proofs
• Title not available (Why is that?)
• Homotopical approach to strong shape or completion theory
• QUANTUM MECHANICAL OBSERVERS AND TIME REPARAMETRIZATION SYMMETRY
• Combinatorial proofs of symmetry formulas for the generalized hypergeometric series
• Monoidal closed categories, weak topoi and generalized logics
• Realizing strong shape equivalences
• Faith \& falsity
• An axiomatization of graphs
• The cobordism hypothesis
• A chain rule in the calculus of homotopy functors
• The Lusternik-Schnirelmann category of a Lie groupoid
• A categorical glimpse at the reconstruction of geometries
• \(m\)-algebraic lattices in formal concept analysis
• The connecting homomorphism for \(K\)-theory of generalized free products
• Cohomology of \(G\)-sheaves in positive characteristic
• Sentence entailment in compositional distributional semantics
• Unital hyperarchimedean vector lattices
• Realization is universal
• Kan extensions along full functors: Kan and Cech extensions of homotopy invariant functors
• Idempotent triples and completion
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
• An equivalence theorem for inverse semigroups

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4693151)