heavy-baselayers in categories