Posts for year 2020 2020-11-04 18:15'Shape': a generalization of topological countability axioms 2020-07-14 00:00Logic in Type Theory I: Concepts