4 citations · 12 across the 13 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.CT2019
Closing the category of finitely presented functors under images made constructive
Sebastian Posur
For an additive category we provide an explict construction of a category whose objects can be thought of as formally representing $\frac{\…
math.CT2019
Tensor products of finitely presented functors
Martin Bies, Sebastian Posur
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called…
math.CT2019
Methods of constructive category theory
Sebastian Posur
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transforma…