4 citations · 12 across the 20 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.GN2023
Topologies of open complemented subsets
Iosif Petrakis
We introduce cs-topologies, or topologies of open complemented subsets, as a new approach to constructive topology that preserves the duality between open and closed subsets of cla…
math.CT2023★ 1 cited
Categories with dependent arrows
Iosif Petrakis
We present an abstract, categorical formulation of dependent functions in a fundamental manner and independently from the Sigma-construction. For that, we define first the notion o…