GolasiƄski Marek
The category of cubical sets and the category of small categories