Concrete fibrations

Preprint, Other literature type English OPEN
Pagnan, Ruggero (2011)
  • Publisher: Duke University Press
  • Journal: (issn: 0029-4527)
  • Related identifiers: doi: 10.1215/00294527-3817788
  • Subject: 18A05 | Mathematics - Category Theory | 18A15 | 18B99 | concrete fibration | Isbell condition

As far as we know, no notion of concrete fibration is available. We provide one such notion in adherence to the foundational attitude that characterizes the adoption of the fibrational perspective in approaching fundamental subjects in category theory and discuss it in ... View more
  • References (19)
    19 references, page 1 of 2

    [1] Jiˇr´ı Ad´amek. Theory of mathematical structures. D. Reidel Publishing Co., Dordrecht, 1983.

    [2] Jiˇr´ı Ad´amek, Horst Herrlich, and George E. Strecker. Abstract and concrete categories: the joy of cats. Repr. Theory Appl. Categ., (17):1-507, 2006. Reprint of the 1990 original [Wiley, New York; MR1051419].

    [3] Jean B´enabou. Th´eories relatives `a un corpus. C. R. Acad. Sci. Paris S´er. A-B, 281(20):Ai, A831-A834, 1975.

    [4] Jean B´enabou. Fibered categories and the foundations of naive category theory. J. Symbolic Logic, 50(1):10-37, 1985.

    [5] Francis Borceux. Handbook of categorical algebra. 2, volume 51 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1994. Categories and structures.

    [6] Samuel Eilenberg and Saunders MacLane. General theory of natural equivalences. Trans. Amer. Math. Soc., 58:231-294, 1945.

    [7] A. Grothendieck. Cat´egories fibr´ees et descente (Expos´e vi). Lecture Notes in Mathematics, (224):145-194, 1970.

    [8] J. R. Isbell. Two set-theoretical theorems in categories. Fund. Math., 53:43-49, 1963.

    [9] Freyd Peter J. Concreteness. J. Pure Appl. Algebra, 3:171-191, 1973.

    [10] Bart Jacobs. Categorical logic and type theory, volume 141 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, 1999.

  • Metrics
    No metrics available
Share - Bookmark