1 citations · 3 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.CT2025
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…
cs.LO2025★ 1 cited
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…