Applied Category Theory Research at PlantingSpace — SleepHire