equilogical adjective2 •Pertaining to topological spaces that are Cartesian closed categories.We show that the two models of extensional type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of categories of 2-groupoids.. — 2015 •Related by a logical tautology.Hjelmslev does not realise that change and stability are equilogical concepts. Change is the contradictory of stability = Stability is the contradictory of change. — 2001
