-
1تقرير
المؤلفون: Arrieta, Igor
مصطلحات موضوعية: Mathematics - General Topology, Mathematics - Category Theory, 18F70, 06D22, 54G05, 06D30
الوصول الحر: http://arxiv.org/abs/2406.12486Test
-
2
-
3تقرير
المؤلفون: Kavvos, G. A.
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D05, 06D50, 18A15, 18A40, 18F20, 18D60, 18C10 (Secondary), F.4.1, F.3.2
الوصول الحر: http://arxiv.org/abs/2406.03578Test
-
4
-
5تقرير
المؤلفون: Bezhanishvili, G., Dashiell Jr, F., Moshier, A., Walters-Wayland, J.
الوصول الحر: http://arxiv.org/abs/2405.19171Test
-
6تقرير
المؤلفون: Suarez, Anna Laura
مصطلحات موضوعية: Mathematics - Category Theory, 06D22, 18F70
الوصول الحر: http://arxiv.org/abs/2405.13437Test
-
7تقرير
-
8تقرير
المؤلفون: Kavvos, G. A.
المصدر: LIPIcs, Volume 299, FSCD 2024, article 11
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D10, 06D50, 18A15, 18A40, 18F20, 18D60 (Secondary), F.4.1, F.3.2
الوصول الحر: http://arxiv.org/abs/2405.04157Test
-
9تقرير
المؤلفون: Suarez, Anna Laura
مصطلحات موضوعية: Mathematics - Category Theory, 06D22, 18F70
الوصول الحر: http://arxiv.org/abs/2405.02990Test
-
10تقرير