J. Adámek, F. Borceux, S. Lack, and J. Rosick´yrosick´y, A classification of accessible categories, Journal of Pure and Applied Algebra, vol.175, issue.1-3, pp.7-30, 2002.
DOI : 10.1016/S0022-4049(02)00126-3

J. Adámek, P. Johnstone, J. Makowsky, and J. Rosick´yrosick´y, Abstract, The Journal of Symbolic Logic, vol.611, issue.03, pp.699-707, 1997.
DOI : 10.1017/S0004972700044828

J. Adámek and J. Rosick´yrosick´y, On geometric and finitary sketches, Applied Categorical Structures, vol.6, issue.2-3, pp.227-240, 1994.
DOI : 10.1007/BF00122254

D. Allcock, J. Carlson, and D. Toledo, Orthogonal complex hyperplane arrangements, Contemp. Math, pp.312-313, 2000.

J. Almeida and P. Weil, Profinite categories and semidirect products, Journal of Pure and Applied Algebra, vol.123, issue.1-3, pp.1-50, 1998.
DOI : 10.1016/S0022-4049(96)00083-7

J. Amorós and I. Bauer, On the number of defining relations for nonfibered Kähler groups, Internat. J. Math, vol.11, pp.285-290, 2000.

J. Amorós, M. Burger, K. Corlette, D. Kotschick, and D. Toledo, Fundamental groups of compact Kähler manifolds, A.M.S. Mathematical Surveys and Monographs, p.44, 1996.

D. Arapura, P. Bressler, and M. Ramachandran, On the fundamental group of a compact Kähler manifold. Duke Math, J, vol.68, pp.477-488, 1992.

K. Auinger and B. Steinberg, The geometry of profinite graphs with applications to free groups and finite monoids Trans, Transactions of the American Mathematical Society, vol.356, issue.02, pp.805-851, 2004.
DOI : 10.1090/S0002-9947-03-03358-0

D. Auroux and L. Katzarkov, Branched coverings of ??????2 and invariants of symplectic 4-manifolds, Inventiones mathematicae, vol.142, issue.3, pp.631-673, 2000.
DOI : 10.1007/PL00005795

V. Balaji, I. Biswas, and D. Nagaraj, Principal bundles over projective manifolds with parabolic structure over a divisor, Tohoku Mathematical Journal, vol.53, issue.3, pp.337-367, 2001.
DOI : 10.2748/tmj/1178207416

G. Bancerek, C. Byí-inski, and A. Trybulec, Numerous articles on category theory in MIZAR, Journal of Formalized Mathematics

M. Barr and C. Wells, Category theory for computer science, 1990.

S. Basu, Different Bounds on the Different Betti Numbers of Semi-Algebraic Sets, Discrete and Computational Geometry, vol.30, issue.1, pp.65-85, 2001.
DOI : 10.1007/s00454-003-2922-9

S. Basu, R. Pollack, and M. Roy, Algorithms in real algebraic geometry, Algorithms and Computation in Mathematics, vol.10, 2003.
DOI : 10.1007/978-3-662-05355-3
URL : https://hal.archives-ouvertes.fr/hal-01083587

T. Beke, Isoperimetric inequalities and the Friedlander-Milnor conjecture, to appear in Crelle's, Journal

F. Bihan, Asymptotiques de nombres de Betti d'hypersurfaces projectives réelles

O. Biquard, Sur Les Fibr??s Paraboliques Sur Une Surface Complexe, Journal of the London Mathematical Society, vol.53, issue.2, pp.302-316, 1996.
DOI : 10.1112/jlms/53.2.302

A. Björner, L. Lovász, and A. C. Yao, Linear decision trees, Proceedings of the twenty-fourth annual ACM symposium on Theory of computing , STOC '92, pp.170-177, 1992.
DOI : 10.1145/129712.129730

P. Boalch, The Klein solution to Painleve's sixth equation

H. Boden and K. Yokogawa, Moduli spaces of parabolic Higgs bundles and parabolic K(D) pairs over smooth curves, I. Internat, J. Math, vol.7, pp.573-598, 1996.

F. Bogomolov and L. Katzarkov, Complex projective surfaces and infinite groups, Geometric And Functional Analysis, vol.8, issue.2, pp.243-272, 1998.
DOI : 10.1007/s000390050055

T. Braden and M. Grinberg, Perverse sheaves on rank stratifications. Duke Math, J, vol.96, pp.317-362, 1999.

S. Broughton, On the topology of polynomial hypersurfaces, 1981) AMS Proc. Sympos. Pure Math, pp.40-167, 1983.
DOI : 10.1090/pspum/040.1/713056

S. Carmody, M. Leeming, and R. F. Walters, The Todd-Coxeter Procedure and Left Kan Extensions, Journal of Symbolic Computation, vol.19, issue.5, pp.459-488, 1995.
DOI : 10.1006/jsco.1995.1027

S. Carmody and R. Walters, Computing quotients of actions of a free category Category theory (Como, 1990), Lecture Notes in Math, pp.1488-63, 1991.

F. Catanese, Fundamental groups with few relations. Higher Dimensional Complex Varieties, pp.163-165, 1994.

L. Chicli, Sur la formalisation des mathématiques dans le Calcul des Constructions Inductives. Thesis, 2003.

D. Cohen and P. Orlik, Arrangements and local systems, Mathematical Research Letters, vol.7, issue.3, pp.299-316, 2000.
DOI : 10.4310/MRL.2000.v7.n3.a5

M. Delgado, S. Margolis, and B. Steinberg, COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY, International Journal of Algebra and Computation, vol.12, issue.01n02, pp.179-211, 2000.
DOI : 10.1142/S0218196702000924

A. Dimca and A. Nemethi, On the monodromy of complex polynomials. Duke Math, J, vol.108, pp.199-209, 2001.

S. Donaldson, Anti Self-Dual Yang-Mills Connections Over Complex Algebraic Surfaces and Stable Vector Bundles, Proceedings of the London Mathematical Society, vol.3, issue.1, pp.1-26, 1985.
DOI : 10.1112/plms/s3-50.1.1

S. Eilenberg, Automata, Languages and Machines, 1974.

G. Ellingsrud, J. Le-potier, and S. A. Stromme, Some Donaldson invariants of CP 2 . Moduli of vector bundles, Lect. Notes Pure Appl. Math, vol.179, pp.33-38, 1994.

H. Esnault, M. Nori, and V. Srinivas, Hodge type of projective varieties of low degree, Mathematische Annalen, vol.132, issue.1, pp.1-6, 1992.
DOI : 10.1007/BF01444698

P. Etingof and V. Ostrik, Finite tensor categories
DOI : 10.1090/surv/205/06

M. Fleming, R. Gunther, and R. Rosebrugh, A database of categories, Journal of Symbolic Computation, vol.35, issue.2, pp.127-135, 2003.
DOI : 10.1016/S0747-7171(02)00104-9

R. Friedman and J. Morgan, Donaldson and Seiberg-Witten invariants of algebraic surfaces, J. Algebraic Geom, vol.6, pp.445-479, 1997.
DOI : 10.1090/pspum/062.1/1492519

W. Gehrke, Rewriting Techniques applied to Basic Category Theory, Research Institute for Symbolic Computation, 1994.

W. Gehrke and J. Pfalzgraf, Computer-aided construction of finite geometric spaces: automated verification of geometric constraints, Journal of Automated Reasoning, vol.26, issue.2, pp.139-160, 2001.
DOI : 10.1023/A:1026477216294

S. Gelfand, R. Macpherson, and K. Vilonen, Perverse sheaves and quivers. Duke Math, J, vol.83, pp.621-643, 1996.

G. Greuel, C. Lossen, and E. Shustin, Plane curves of minimal degree with prescribed singularities, Inventiones Mathematicae, vol.133, issue.3, pp.539-580, 1998.
DOI : 10.1007/s002220050254

M. Gromov, Sur le groupe fondamental d'une variété kählérienne, C. R. Acad. Sci. Paris Sér. I Math, vol.308, pp.67-70, 1989.

M. Gromov, Isoperimetry of Waists and Concentration of Maps, Geometric and Functional Analysis, vol.18, issue.5, pp.178-215, 2003.
DOI : 10.1007/s00039-009-0703-1

L. Gruson and C. Peskine, Genre des courbes de l'espace projectif Algebraic geometry (Tromso, L.N.M, vol.687, pp.31-59, 1977.

M. Hasegawa, Decomposing typed lambda calculus into a couple of categorical programming languages, Lecture Notes in Comput. Sci, vol.953, pp.200-219, 1995.
DOI : 10.1007/3-540-60164-3_28

A. Hirschowitz, Cohérence et dualité sur le gros site de Zariski. Algebraic curves and projective geometry (Trento, 1988) Lecture Notes in Math, pp.1389-91, 1989.

G. Huet and A. Saibi, Constructive category theory. Proof, language, and interaction Found, Comput. Ser, pp.239-275, 2000.

M. Inaba, K. Iwasaki, and M. Saito, Moduli of Stable Parabolic Connections, Riemann-Hilbert Correspondence and Geometry of Painlev?? Equation of Type VI , Part I, Publications of the Research Institute for Mathematical Sciences, vol.42, issue.4
DOI : 10.2977/prims/1166642194

P. Johnstone and G. Wraith, Algebraic theories in toposes, Lecture Notes in Mathematics, vol.445, pp.141-242, 1978.
DOI : 10.1007/BFb0061296

P. R. Jones, Profinite categories, implicit operations and pseudovarieties of categories, Journal of Pure and Applied Algebra, vol.109, issue.1, pp.61-95, 1996.
DOI : 10.1016/0022-4049(95)00074-7

P. R. Jones and S. Pustejovsky, A kernel for relational morphisms of categories. Semigroups and Applications, World Scientific, pp.152-161, 1992.

M. Kapovich and J. Millson, On representation varieties of Artin groups, projective arrangements and the fundamental groups of smooth complex algebraic varieties, Publications math??matiques de l'IH??S, vol.14, issue.1, pp.5-95, 1998.
DOI : 10.1007/BF02701766

S. Karrmann and C. Io, Message on the coq-club mailing list, 2004.

P. Katis, N. Sabadini, and R. Walters, Bicategories of processes, Journal of Pure and Applied Algebra, vol.115, issue.2, pp.141-178, 1997.
DOI : 10.1016/S0022-4049(96)00012-6

T. Kientzle, Categorical generalizations of classical monoid theory. Doctoral dissertation, 1992.

H. Konno, Construction of the moduli space of stable parabolic Higgs bundles on a Riemann surface, Journal of the Mathematical Society of Japan, vol.45, issue.2, pp.253-276, 1993.
DOI : 10.2969/jmsj/04520253

K. Krohn and J. Rhodes, Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines, Transactions of the American Mathematical Society, vol.116, pp.450-464, 1965.
DOI : 10.1090/S0002-9947-1965-0188316-1

R. Kulkarni and J. Wood, Topology of nonsingular complex hypersurfaces, Advances in Mathematics, vol.35, issue.3, pp.239-263, 1980.
DOI : 10.1016/0001-8708(80)90051-1

J. Li, Hermitian-Einstein metrics and Chern number inequalities on parabolic stable bundles over Kähler manifolds, Comm. Anal. Geom, vol.8, pp.445-475, 2000.

J. Li and M. S. Narasimhan, Hermitian-einstein metrics on parabolic stable bundles, Acta Mathematica Sinica, English Series, vol.17, issue.1, pp.93-114, 1999.
DOI : 10.1007/s10114-999-0062-8

J. Li and M. S. Narasimhan, A Note on Hermitian-Einstein Metrics on Parabolic Stable Bundles, Acta Mathematica Sinica, English Series, vol.88, issue.1, pp.77-80, 2001.
DOI : 10.1007/s101140000091

J. Li and Y. Wang, EXISTENCE OF HERMITIAN???EINSTEIN METRICS ON STABLE HIGGS BUNDLES OVER OPEN K??HLER MANIFOLDS, International Journal of Mathematics, vol.10, issue.08, pp.1037-1052, 1999.
DOI : 10.1142/S0129167X99000446

A. Libgober, Alexander polynomial of plane algebraic curves and cyclic multiple planes. Duke Math, J, vol.49, pp.833-851, 1982.

A. Libgober, First order deformations for rank one local systems with a non-vanishing cohomology, Arrangements in Boston: a Conference on Hyperplane Arrangements, pp.159-168, 1999.
DOI : 10.1016/S0166-8641(01)00048-7

G. Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras, Journal of the American Mathematical Society, vol.4, issue.2, pp.365-421, 1991.
DOI : 10.1090/S0894-0347-1991-1088333-2

R. Macpherson and K. Vilonen, Elementary construction of perverse sheaves, Inventiones Mathematicae, vol.81, issue.No. 1, pp.403-435, 1986.
DOI : 10.1007/BF01388812

M. Makkai and G. Reyes, First order categorical logic, Lecture Notes in Mathematics, vol.611, p.611, 1977.
DOI : 10.1007/BFb0066201

O. Matz, A. Miller, A. Pothoff, W. Thomas, and E. Valkema, Report on the program AMoRE, 1994.

T. Mochizuki, Asymptotic Behaviour of Tame Nilpotent Harmonic Bundles with Trivial Parabolic Structure, Journal of Differential Geometry, vol.62, issue.3, pp.351-559, 2002.
DOI : 10.4310/jdg/1090426286