“…The initial L-proximities of the internal type, in the categorical sense [1], are the L-proximities of the internal type which provide an initial lift in the category L-PRI. Here, we show that the characterization, introduced in [9,14], for the coarsest L-topogenous structures provides in case of internally symmetric L-topogenous structures (that is, L-proximities of the internal type) an initial lift in L-PRI. This means these coarsest internally symmetric L-topogenous structures are the initial L-proximities of the internal type.…”