Author: varkor Format: MarkdownItexPresumably this should be merged with [[Luis Javier Hernández Paricio]]?
<a href="https://ncatlab.org/nlab/revision/diff/Luis+Javier+Hern%C3%A1ndez-Paricio/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Luis+Javier+Hern%C3%A1ndez-Paricio/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Luis+Javier+Hern%C3%A1ndez-Paricio">current</a>