1 citations · 3 across the 6 of their papers we have counts for
6 papers
Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
Mirai Ikebuchi
Inspired by Brown's collapsing method (or discrete Morse theory) to obtain a free resolution of over the monoid ring , we apply algebraic discrete Morse theory to co…
Cohomology of Small Cartesian Closed Categories
Mirai Ikebuchi
We show the isomorphism between the Quillen cohomology and the Baues-Wirsching cohomology of a cartesian closed category (CCC). This is an extension of the results of Dwyer-Kan for…
Homological Invariants of Higher-Order Equational Theories
Mirai Ikebuchi
Many first-order equational theories, such as the theory of groups or boolean algebras, can be presented by a smaller set of axioms than the original one. Recent studies showed tha…
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
Mirai Ikebuchi
It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to det…
On properties of -terms
Mirai Ikebuchi, Keisuke Nakano
-terms are built from the combinator alone defined by , which is well known as a function composition operator. This paper investigates an interesting p…
On repetitive right application of B-terms
Mirai Ikebuchi, Keisuke Nakano
B-terms are built from the B combinator alone defined by B f g x = f (g x), which is well-known as a function composition operator. This paper investigates an interesting property…