Holmstrom Cyclic category

Redirected from "constructive Mostowski set theory".

http://ncatlab.org/nlab/show/cycle+category

nLab page on Cyclic category

Created on June 9, 2014 at 21:16:13 by Andreas Holmström