Category analogue

.