├── .gitattributes ├── README-template.md ├── README.md ├── archive.json └── resources ├── 1960_freyd_functor-theory.pdf ├── 1966_freyd_algebra-valued.pdf ├── 1966_kock_continuous-yoneda.pdf ├── 1966_linton_triples-theories.pdf ├── 1967_davis_abstract-universal.pdf ├── 1967_kock_limit-monads.pdf ├── 1967_manes_triple-miscellany.pdf ├── 1968_beck_.pdf ├── 1968_justesen_bikategorien-profunktorer.pdf ├── 1969_freyd_concreteness-certain.pdf ├── 1969_servi_definizione-alternativa.pdf ├── 1970_wolff_v-localizations-v-triples.pdf ├── 1972_bénabou_categories-multiplicatives.pdf ├── 1972_bénabou_triples.pdf ├── 1973_bénabou_distributeurs.pdf ├── 1973_bénabou_problemes_topos.pdf ├── 1973_fontana_universality.pdf ├── 1974_linton_relative-functorial.pdf ├── 1975_betti--galuzzi_categorie-normate.pdf ├── 1975_celeyrette_catégories-internes.pdf ├── 1975_schipper_symmetric-closed.pdf ├── 1975_wraith_algebraic-theories.pdf ├── 1976_diers_type-densité.pdf ├── 1976_diers_variétés-catégorie.pdf ├── 1976_fox_universal-coalgebras.pdf ├── 1977_diers_catégories-localisables.pdf ├── 1977_hoehnke_partial.pdf ├── 1977_maranda_généralisation-notion.pdf ├── 1977_ulmer_bialgebras-locally.pdf ├── 1978_diers_familles.pdf ├── 1979_kaphengst--reichel_finite.pdf ├── 1979_kastl_inverse.pdf ├── 1981_betti_bicategorie.pdf ├── 1981_diers_completions_monadiques.pdf ├── 1981_rossi_quasi-fini.pdf ├── 1982_betti_alcune.pdf ├── 1982_tholen_completions.pdf ├── 1983_betti_symmetric.pdf ├── 1983_borceux_a-propos.pdf ├── 1983_kiss--márki--prőhle--tholen_categorical.pdf ├── 1983_meyer_completion-categories.pdf ├── 1983_reggiani_condizione-caratteristica.pdf ├── 1984_day--street_additive.pdf ├── 1984_jay_generalising-structure-semantics.pdf ├── 1984_power_butler's-theorems.pdf ├── 1987_hoehnke_monoidal.pdf ├── 1988_adámek--herrlich--reiterman_cocompleteness-almost.pdf ├── 1988_betti--power_local-adjointness.pdf ├── 1988_lafont_logiques-categories.pdf ├── 1988_pümplun_eilenberg-moore.pdf ├── 1989_hoehnke_certain.pdf ├── 1989_power_coherence-bicategories.pdf ├── 1990_betti_elementary-characterization.pdf ├── 1992_betti_internal-topologies.pdf ├── 1995_carmody_cobordism-categories.pdf ├── 1999_lack_algebra.pdf ├── 2000_betti_categorical-frobenius.pdf ├── 2000_duskin_simplicial-matrix.pdf ├── 2001_duskin_simplicial-matrix.pdf └── 2002_duskin_simplicial.pdf /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/.gitattributes -------------------------------------------------------------------------------- /README-template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/README-template.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/README.md -------------------------------------------------------------------------------- /archive.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/archive.json -------------------------------------------------------------------------------- /resources/1960_freyd_functor-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1960_freyd_functor-theory.pdf -------------------------------------------------------------------------------- /resources/1966_freyd_algebra-valued.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1966_freyd_algebra-valued.pdf -------------------------------------------------------------------------------- /resources/1966_kock_continuous-yoneda.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1966_kock_continuous-yoneda.pdf -------------------------------------------------------------------------------- /resources/1966_linton_triples-theories.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1966_linton_triples-theories.pdf -------------------------------------------------------------------------------- /resources/1967_davis_abstract-universal.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1967_davis_abstract-universal.pdf -------------------------------------------------------------------------------- /resources/1967_kock_limit-monads.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1967_kock_limit-monads.pdf -------------------------------------------------------------------------------- /resources/1967_manes_triple-miscellany.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1967_manes_triple-miscellany.pdf -------------------------------------------------------------------------------- /resources/1968_beck_.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1968_beck_.pdf -------------------------------------------------------------------------------- /resources/1968_justesen_bikategorien-profunktorer.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1968_justesen_bikategorien-profunktorer.pdf -------------------------------------------------------------------------------- /resources/1969_freyd_concreteness-certain.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1969_freyd_concreteness-certain.pdf -------------------------------------------------------------------------------- /resources/1969_servi_definizione-alternativa.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1969_servi_definizione-alternativa.pdf -------------------------------------------------------------------------------- /resources/1970_wolff_v-localizations-v-triples.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1970_wolff_v-localizations-v-triples.pdf -------------------------------------------------------------------------------- /resources/1972_bénabou_categories-multiplicatives.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1972_bénabou_categories-multiplicatives.pdf -------------------------------------------------------------------------------- /resources/1972_bénabou_triples.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1972_bénabou_triples.pdf -------------------------------------------------------------------------------- /resources/1973_bénabou_distributeurs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1973_bénabou_distributeurs.pdf -------------------------------------------------------------------------------- /resources/1973_bénabou_problemes_topos.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1973_bénabou_problemes_topos.pdf -------------------------------------------------------------------------------- /resources/1973_fontana_universality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1973_fontana_universality.pdf -------------------------------------------------------------------------------- /resources/1974_linton_relative-functorial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1974_linton_relative-functorial.pdf -------------------------------------------------------------------------------- /resources/1975_betti--galuzzi_categorie-normate.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1975_betti--galuzzi_categorie-normate.pdf -------------------------------------------------------------------------------- /resources/1975_celeyrette_catégories-internes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1975_celeyrette_catégories-internes.pdf -------------------------------------------------------------------------------- /resources/1975_schipper_symmetric-closed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1975_schipper_symmetric-closed.pdf -------------------------------------------------------------------------------- /resources/1975_wraith_algebraic-theories.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1975_wraith_algebraic-theories.pdf -------------------------------------------------------------------------------- /resources/1976_diers_type-densité.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1976_diers_type-densité.pdf -------------------------------------------------------------------------------- /resources/1976_diers_variétés-catégorie.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1976_diers_variétés-catégorie.pdf -------------------------------------------------------------------------------- /resources/1976_fox_universal-coalgebras.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1976_fox_universal-coalgebras.pdf -------------------------------------------------------------------------------- /resources/1977_diers_catégories-localisables.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1977_diers_catégories-localisables.pdf -------------------------------------------------------------------------------- /resources/1977_hoehnke_partial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1977_hoehnke_partial.pdf -------------------------------------------------------------------------------- /resources/1977_maranda_généralisation-notion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1977_maranda_généralisation-notion.pdf -------------------------------------------------------------------------------- /resources/1977_ulmer_bialgebras-locally.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1977_ulmer_bialgebras-locally.pdf -------------------------------------------------------------------------------- /resources/1978_diers_familles.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1978_diers_familles.pdf -------------------------------------------------------------------------------- /resources/1979_kaphengst--reichel_finite.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1979_kaphengst--reichel_finite.pdf -------------------------------------------------------------------------------- /resources/1979_kastl_inverse.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1979_kastl_inverse.pdf -------------------------------------------------------------------------------- /resources/1981_betti_bicategorie.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1981_betti_bicategorie.pdf -------------------------------------------------------------------------------- /resources/1981_diers_completions_monadiques.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1981_diers_completions_monadiques.pdf -------------------------------------------------------------------------------- /resources/1981_rossi_quasi-fini.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1981_rossi_quasi-fini.pdf -------------------------------------------------------------------------------- /resources/1982_betti_alcune.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1982_betti_alcune.pdf -------------------------------------------------------------------------------- /resources/1982_tholen_completions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1982_tholen_completions.pdf -------------------------------------------------------------------------------- /resources/1983_betti_symmetric.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1983_betti_symmetric.pdf -------------------------------------------------------------------------------- /resources/1983_borceux_a-propos.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1983_borceux_a-propos.pdf -------------------------------------------------------------------------------- /resources/1983_kiss--márki--prőhle--tholen_categorical.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1983_kiss--márki--prőhle--tholen_categorical.pdf -------------------------------------------------------------------------------- /resources/1983_meyer_completion-categories.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1983_meyer_completion-categories.pdf -------------------------------------------------------------------------------- /resources/1983_reggiani_condizione-caratteristica.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1983_reggiani_condizione-caratteristica.pdf -------------------------------------------------------------------------------- /resources/1984_day--street_additive.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1984_day--street_additive.pdf -------------------------------------------------------------------------------- /resources/1984_jay_generalising-structure-semantics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1984_jay_generalising-structure-semantics.pdf -------------------------------------------------------------------------------- /resources/1984_power_butler's-theorems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1984_power_butler's-theorems.pdf -------------------------------------------------------------------------------- /resources/1987_hoehnke_monoidal.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1987_hoehnke_monoidal.pdf -------------------------------------------------------------------------------- /resources/1988_adámek--herrlich--reiterman_cocompleteness-almost.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1988_adámek--herrlich--reiterman_cocompleteness-almost.pdf -------------------------------------------------------------------------------- /resources/1988_betti--power_local-adjointness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1988_betti--power_local-adjointness.pdf -------------------------------------------------------------------------------- /resources/1988_lafont_logiques-categories.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1988_lafont_logiques-categories.pdf -------------------------------------------------------------------------------- /resources/1988_pümplun_eilenberg-moore.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1988_pümplun_eilenberg-moore.pdf -------------------------------------------------------------------------------- /resources/1989_hoehnke_certain.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1989_hoehnke_certain.pdf -------------------------------------------------------------------------------- /resources/1989_power_coherence-bicategories.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1989_power_coherence-bicategories.pdf -------------------------------------------------------------------------------- /resources/1990_betti_elementary-characterization.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1990_betti_elementary-characterization.pdf -------------------------------------------------------------------------------- /resources/1992_betti_internal-topologies.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1992_betti_internal-topologies.pdf -------------------------------------------------------------------------------- /resources/1995_carmody_cobordism-categories.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1995_carmody_cobordism-categories.pdf -------------------------------------------------------------------------------- /resources/1999_lack_algebra.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/1999_lack_algebra.pdf -------------------------------------------------------------------------------- /resources/2000_betti_categorical-frobenius.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/2000_betti_categorical-frobenius.pdf -------------------------------------------------------------------------------- /resources/2000_duskin_simplicial-matrix.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/2000_duskin_simplicial-matrix.pdf -------------------------------------------------------------------------------- /resources/2001_duskin_simplicial-matrix.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/2001_duskin_simplicial-matrix.pdf -------------------------------------------------------------------------------- /resources/2002_duskin_simplicial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CategoryTheoryArchive/archive/HEAD/resources/2002_duskin_simplicial.pdf --------------------------------------------------------------------------------