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
- 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
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)
