activity
20082026
most citedAcyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

57 citations · 208 across the 27 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

math.CT2023

Relative fixed points of functors

Ezra Schoen, Jade Master, Clemens Kupke

We show how the relatively initial or relatively terminal fixed points for a well-behaved functor form a pair of adjoint functors between -coalgebras and -algebras. We us…

math.CT2023

Beyond Initial Algebras and Final Coalgebras

Ezra Schoen, Jade Master, Clemens Kupke

We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed…