Coghetto, Roland A case study of transporting Urysohn’s lemma from topology via open sets into topology via neighborhoods. (English) Zbl 1543.68416 Formaliz. Math. 28, No. 3, 227-237 (2020). MSC: 68V20 03B35 54A05 54D15 × Cite Format Result Cite Review PDF Full Text: DOI
Grandis, Marco Category theory and applications. A textbook for beginners. (English) Zbl 1393.18001 Hackensack, NJ: World Scientific (ISBN 978-981-3231-06-1/hbk). x, 294 p. (2018). Reviewer: Aurelien Djament (Villeneuve d’Ascq)) MSC: 18-01 18A05 18A20 18A22 18A23 18A30 18A32 18A40 18C20 18N10 18E05 18E10 06A06 06F99 08A99 × Cite Format Result Cite Review PDF Full Text: DOI
Bourbaki, N. Elements of mathematics. All 28 volumes, including the last volume Algebraic Topology, Chapters 1–4. (Éléments de mathématique. Tous les 28 tomes, y compris le dernier tome Topologie Algébrique Chapitre 1–4.) (French) Zbl 1348.00001 Berlin: Springer (ISBN 978-3-662-53102-0/pbk). 7902 p. (2017). MSC: 00-01 00-02 00A05 01A75 × Cite Format Result Cite Review PDF
Coghetto, Roland Double sequences and iterated limits in regular space. (English) Zbl 1357.54004 Formaliz. Math. 24, No. 3, 173-186 (2016). MSC: 54A20 40A05 40B05 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Bourbaki, N. Elements of mathematics. Algebraic topology. Chapters 1 to 4. (Éléments de mathématique. Topologie algébrique. Chapitres 1 à 4.) (French) Zbl 1355.55001 Berlin: Springer (ISBN 978-3-662-49360-1/pbk; 978-3-662-49361-8/ebook). xv, 498 p. (2016). Reviewer: Werner Kleinert (Berlin) MSC: 55-02 55R05 55R10 55R15 55R35 55P05 57M10 18B40 × Cite Format Result Cite Review PDF Full Text: DOI
Coghetto, Roland Summable family in a commutative group. (English) Zbl 1334.54005 Formaliz. Math. 23, No. 4, 279-288 (2015). MSC: 54A20 54H11 22A05 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Coghetto, Roland Convergent filter bases. (English) Zbl 1321.54006 Formaliz. Math. 23, No. 3, 189-203 (2015). MSC: 54A20 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Bourbaki, N. Elements of mathematics. All 27 volumes. (Éléments de mathématique. Tous les 27 tomes.) (French) Zbl 1290.00001 Berlin: Springer (ISBN 978-3-662-43705-6/set). 7338 p. (2014). MSC: 00-01 00A05 01A60 03-03 12-03 13-03 15-03 26-03 28-03 46-03 17-03 22-03 01A05 × Cite Format Result Cite Review PDF