scientific article; zbMATH DE number 195199
From MaRDI portal
Publication:4693151
zbMATH Open0705.18001MaRDI QIDQ4693151FDOQ4693151
Authors: Saunders Mac Lane 
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Cited In (only showing first 100 items - show all)
- 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
- Fiber categories for describing dynamic production systems
- Preunits and weak crossed products
- Categorical approach to the construction of fuzzy graph grammars
- A compositional proof system on a category of labelled transition systems
- Homotopy of planar Lie group equivariant presheaves
- 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
- Skeletal categories
- Graph Transformation by Computational Category Theory
- Some logical invariants of algebras and logical relations between algebras
- Categorification, term rewriting and the Knuth-Bendix procedure
- The fundamental group of a topos
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- Algebraic specification of data types: A synthetic approach
- A principled approach to programming with nested types in Haskell
- On the 1-homotopy type of Lie groupoids
- Radicals of rings and pullbacks
- Note on topologies induced by coverings of approximation spaces
- Title not available (Why is that?)
- First quadrant spectral sequences in algebraic k-theory via homotopy colimits
- Strict polynomial functors and coherent functors
- CARTESIAN CLOSED COREFLECTIVE HULLS
- Hereditary uniserial categories with Serre duality
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
- HOMOTOPY QUANTUM FIELD THEORIES AND THE HOMOTOPY COBORDISM CATEGORY IN DIMENSION 1 + 1
- Equivalences of equivariant derived categories
- On two extension of dicksons torsion theory
- Equiuniform quotient spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- AN ANALOGUE OF KEGEL'S THEOREM FOR QUASI-ASSOCIATIVE ALGEBRAS
- Implicit Partiality of Signature Morphisms in Institution Theory
- Simplicial sets from categories
- Functorial polymorphism
- Thomason cohomology of categories
- The homotopy theory of bialgebras over pairs of operads
- Noetherian schemes over abelian symmetric monoidal categories
- On the derived category of a regular toric scheme
- On homological properties of singular braids
- Logical quantization of topos theory
- The Mayer-Vietoris principle for Grothendieck-Witt groups of schemes
- Approaching metric domains
- Homotopy coherent category theory
- A Morita type equivalence for dual operator algebras
- Solving reflexive domain equations in a category of complete metric spaces
- Categorification of skew-symmetrizable cluster algebras
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Homotopical presentations and calculations of algebraic \(K_0\)-groups for rings of continuous functions
- Petri nets and bisimulation
- Calculating simplicial localizations
- Homotopy commutative diagrams and their realizations
- Higher Čech theory
- Finiteness properties for some rational Poincaré duality groups
- Coherence for bicategories and indexed categories
- Algebraic theories for continuous semilattices
- Infinite highly arc transitive digraphs and universal covering digraphs
- On the Category of EQ-algebras
- Homotopy coherent category theory and \(A_\infty\)-structures in monoidal categories
- Simplicial descent categories
- Quotients of representation-finite algebras
- On perfect isometries and isotypies in finite groups
- Inexact and exact quantum searches with a preparation state in a three-dimensional subspace
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- Algebraic Rieffel induction, formal Morita equivalence, and applications to deformation quantization.
- Superbosonization via Riesz superdistributions
- The need for a flat higher gauge structure to describe a Berry phase associated with some resonance phenomena
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)
