https://sebastianpos.github.io/A-constructive-approach-to-Freyd-categories/ 2017-12-10T00:00:00+01:00 https://sebastianpos.github.io/Linear-systems-over-localizations-of-rings/ 2017-12-18T00:00:00+01:00 https://sebastianpos.github.io/CAP-Days-2018/ 2018-02-07T00:00:00+01:00 https://sebastianpos.github.io/Atom-spectra-of-graded-rings-and-sheafification-in-toric-geometry/ 2018-09-10T00:00:00+02:00 https://sebastianpos.github.io/CAP-Days-2018_2/ 2018-09-10T00:00:00+02:00 https://sebastianpos.github.io/Try-out-CAP/ 2018-11-22T00:00:00+01:00 https://sebastianpos.github.io/Methods-of-constructive-category-theory/ 2019-08-15T00:00:00+02:00 https://sebastianpos.github.io/Tensor-products-of-finitely-presented-functors/ 2019-08-31T00:00:00+02:00 https://sebastianpos.github.io/Closing-the-category-of-finitely-presented-functors-under-images-made-constructive/ 2019-11-26T00:00:00+01:00 https://sebastianpos.github.io/A-constructive-approach-to-Fourier-Mukai-transforms-for-projective-spaces/ 2020-03-29T00:00:00+01:00 https://sebastianpos.github.io/On-free-abelian-categories-for-theorem-proving/ 2021-03-18T00:00:00+01:00 https://sebastianpos.github.io/Indec/ 2021-06-11T00:00:00+02:00 https://sebastianpos.github.io/contact/ https://sebastianpos.github.io/cv/ https://sebastianpos.github.io/ https://sebastianpos.github.io/links/ https://sebastianpos.github.io/research/ https://sebastianpos.github.io/teaching/ https://sebastianpos.github.io/page2/ https://sebastianpos.github.io/page3/ https://sebastianpos.github.io/downloads/slides_fp_functors.pdf 2025-11-19T15:16:45+01:00