6 citations · 6 across the 5 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Homological Algebra in Abelian Framed Bicategories: Exact Sequences and Embedding Theorems
Augustin Albert, Jérémy Dubut, Eric Goubault
We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology…
math.CT2019
A Coalgebraic View on Reachability
Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata +1
Coalgebras for an endofunctor provide a category-theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the…