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
- Subgroups of free idempotent generated regular semigroups
- Monoid varieties defined by \(x^{n+1}=x\) are local
- Determinants of Dirac boundary value problems over odd-dimensional manifolds
- A category-theoretical approach to hypergraphs
- Mutation symmetries in BPS quiver theories: building the BPS spectra
- Classical structures based on unitaries
- On \(\lambda\)-rings and the \(K\)-theory of infinite loop spaces
- \(THH(R) \cong R \otimes S^ 1\) for \(E_ \infty\) ring spectra
- Algebraic lattices and locally finitely presentable categories
- On simpleness of semirings and complete semirings.
- Vertex rings and their Pierce bundles
- Some Results on Locally Finitely Presentable Categories
- T.T.F. theories in abelian categories
- Conjugate pairs of categories and Quillen equivalent stable model categories of functors
- Yetter-Drinfeld categories associated with a weak braided Hopf algebra.
- The linear abstract machine
- Sheaves of \(C^*\)-algebras
- Sequential algorithms on concrete data structures
- On the ambiguation of Polish notation
- INVARIANTS OF 3-MANIFOLDS ASSOCIATED TO 3-COCYCLES OF GROUPS
- Cartesian inclusion: locales and topgses∗
- The quantum double and related constructions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- New Braided Crossed Categories and Drinfel'd Quantum Double for Weak Hopf Group Coalgebras
- Deformations of \(W\)-algebras associated to simple Lie algebras
- Kleisli morphisms and randomized congruences for the Giry monad
- Towers and pyramids. I
- Transformations of fuzzy graphs specified by FD-grammars
- On natural transformations of distinguished functors and their superpositions in certain closed categories
- Rosen's modelling relations via categorical adjunctions
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)
