Skip to search formSkip to main contentSkip to account menu

Initial algebra

In mathematics, an initial algebra is an initial object in the category of -algebras for a given endofunctor . The initiality provides a general… 
Wikipedia (opens in a new tab)

Related topics

Related topics

25 relations
Abstract data typeAckermann functionAlgebraic data typeAnamorphism

Broader (3)

Category theoryFunctional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments… 
2013
2013
Amalgam for zero-dimensional schemes
The construction for amalgamated sum for zero-dimensional Grothendieck' schemes is done as a dual for universal (fibred) product… 
2011
2011
The Recursion Scheme from the Cofree Recursive Comonad
2002
2002
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
2001
2001
A Coalgebraic Modelling of Head-Driven Phrase Structure Grammar
This paper provides a coalgebraic modelling of Head-Driven Phrase Structure Grammar. HPSG is a licensing theory in the sense that… 
1999
1999
On coalgebra of real numbers
1995
1995
Operads, Grothendieck topologies and Deformation theory
The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit… 
1986
1986
Integrating the Structured Analysis and Design Models: an Initial Algebra Approach
Numerous models have been proposed under the name of structured systems analysis and design. Because of the lack of a common… 
1986
1986
Partial Evaluation and omega-Completeness of Algebraic Specifications
1981
1981
Initial Algebra Specifications for Parametrized Data Types
Ab.stract: We consider parametrized data types <P: Alg(.!') __.. Alg(LI) where <P is a partial functor from the class of all… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)