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)
- Homotopy limits of triples
- Some modifications of Scott's theorem on injective spaces
- Identical particles and the simplicial category
- Well-closed subschemes of noncommutative schemes
- The World's simplest axiom of choice fails
- Functorial models for Petri nets
- Deformations of schemes and other bialgebraic structures
- Global theory of graded manifolds
- On completeness of locally-internal categories
- The superextension monad and its algebras
- Categorical and topological aspects of formal languages
- A Categorical Approach to Mereology and Its Application to Modelling Software Components
- Construction of a monadic Heyting algebra in a logos
- Free colimits
- An explicit seven-term exact sequence for the cohomology of a Lie algebra extension
- Final Dialgebras: From Categories to Allegories
- \(\alpha\)-cuts and models of fuzzy logic
- The (tetra) category of pseudocategories in an additive 2-category with kernels
- Taylor series calculus for ring objects of line type
- Descent in locally presentable categories
- Rigidified torsor cocycles, hypercoverings and bundle gerbes
- Cohomology of products and coproducts of augmented algebras.
- On completion and shape
- Cartesian-Closed Coreflective Subcategories of Uniform Spaces
- A system of constructor classes: overloading and implicit higher-order polymorphism
- Representations of a pair of posets
- Noncommutative fermion mass matrix and gravity
- What Is a Multi-modeling Language?
- Title not available (Why is that?)
- Proof nets, coends and the Yoneda isomorphism
- Title not available (Why is that?)
- Classification of twisted free tensor products
- A reification calculus for model-oriented software specification
- Deforming đ-adic representations of the fundamental group of a smooth variety
- Tilting and trivial extensions
- Categorical convolutional formulas
- RESTRICTING THE COMPARISON FUNCTOR OF AN ADJUNCTION TO PROJECTIVE OBJECTS
- Extraction of mth roots in matrix rings over fields
- PROTECTION AS A GENERAL SYSTEMS PROBLEM
- Integral domain type representations in sheaves and other topoi
- P-varieties - a signature independent characterization of varieties of ordered algebras
- A note on powers of Hausdorff fields
- Tensor product of partially-additive monoids
- Order completion monads
- On Morita's localization
- Solid hulls of concrete categories
- The bilinear product category
- The Skolem-Löwenheim theorem in toposes. II
- The Skolem-Löwenheim theorem in toposes
- Modules over discrete valuation domains. I
- On the classification of strongly graded Hopf algebras
- Combinatorial dimensions: indecomposability on certain local finite-dimensional trivial extension algebras
- 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
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)
