Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,473,398 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
25 relations
Abstract data type
Ackermann function
Algebraic data type
Anamorphism
Expand
Broader (3)
Category theory
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
2 Sequoidal Categories and Transfinite Games 1 . 1 Defining Higher-order Stateful Objects , Coalgebraically
F. Bonchi
,
B. König
2017
Corpus ID: 89615081
The non-commutative sequoid operator on games was introduced to capture algebraically the presence of state in history-sensitive…
Expand
2016
2016
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
M. Bernardo
,
Marino Miculan
Italian Conference on Theoretical Computer…
2016
Corpus ID: 7905972
Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true…
Expand
2015
2015
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
A. Bucchiarone
,
H. Ehrig
,
C. Ermel
,
Patrizio Pelliccione
,
Olga Runge
Software, Services, and Systems
2015
Corpus ID: 12475224
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments…
Expand
2013
2013
Amalgam for zero-dimensional schemes
N. Timofeeva
2013
Corpus ID: 120145675
The construction for amalgamated sum for zero-dimensional Grothendieck' schemes is done as a dual for universal (fibred) product…
Expand
2004
2004
Title : Specifying and Proving Object-oriented Programs Area : Software Engineering
A. Fleck
2004
Corpus ID: 14552515
This paper develops a new approach to the specification of object behavior. It utilizes an algebraic framework for precise…
Expand
2000
2000
Polytypic Recursion
P. S. Barbosa
,
J. Barros
,
J. J. Almeida
2000
Corpus ID: 3054592
Recursive schemes over inductive data structures have been recognized as category-theoretic universals, yielding a handful of…
Expand
1999
1999
Final coalgebras as greatest fixed points in ZF set theory
Lawrence Charles Paulson
Mathematical Structures in Computer Science
1999
Corpus ID: 38580250
A special final coalgebra theorem, in the style of Aczel (1988), is proved within standard Zermelo–Fraenkel set theory. Aczel's…
Expand
1996
1996
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Claus Hintermeier
,
H. Kirchner
,
Peter D. Mosses
1996
Corpus ID: 5704197
Specification frameworks such as B and Z provide power sets and cartesian products as built-in type constructors, and employ a…
Expand
1995
1995
Operads, Grothendieck topologies and Deformation theory
D. Gaitsgory
1995
Corpus ID: 8586420
The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit…
Expand
1985
1985
Initial Semantics of Specifications
H. Ehrig
,
B. Mahr
1985
Corpus ID: 123435890
We study in this chapter initial semantics of equational specifications. In contrast to the former, mainly introductory chapter…
Expand