Yuma Mizuno

icon indicating a website link https://yuma-mizuno.github.io/

Results 2 comments of Yuma Mizuno

feat(category_theory/monoidal): define the bicategory of algebras and bimodules internal to some monoidal category

> I've had some mixed experiences with abbreviations and prefer defs and predictability of `dunfold`, but I can try. I'm trying not to rely on simplification in this proof but...

feat(Bicactegory/NaturalTransformation): refactor strong natural transformations

> Should I just define StrongTrans between pseudofunctors as an abbrev for StrongTrans F.toOplax G.toOplax? I don't have a strong opinion about that, but I think doing so is reasonable....