Goto Chapter: Top 1 2 3 Ind
 [Top of Book]  [Contents]   [Next Chapter] 

FinSetsForCAP

The elementary topos of (skeletal) finite sets

2024.10-02

25 October 2024

Mohamed Barakat
Email: mohamed.barakat@uni-siegen.de
Homepage: https://mohamed-barakat.github.io/
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Julia Mickisch
Email: julia.mickisch@student.uni-siegen.de
Homepage: https://github.com/juliamick/
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Fabian Zickgraf
Email: fabian.zickgraf@uni-siegen.de
Homepage: https://github.com/zickgraf/
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Contents

1 The category of finite sets
2 The category of skeletal finite sets
3 Precompilation
Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top 1 2 3 Ind

generated by GAPDoc2HTML