@article{CTGDC_2004__45_3_193_0,
author = {Grandis, Marco and Pare, Robert},
title = {Adjoint for double categories},
journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
pages = {193--240},
year = {2004},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {45},
number = {3},
mrnumber = {2090335},
zbl = {1063.18002},
language = {en},
url = {https://www.numdam.org/item/CTGDC_2004__45_3_193_0/}
}
TY - JOUR AU - Grandis, Marco AU - Pare, Robert TI - Adjoint for double categories JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 2004 SP - 193 EP - 240 VL - 45 IS - 3 PB - Dunod éditeur, publié avec le concours du CNRS UR - https://www.numdam.org/item/CTGDC_2004__45_3_193_0/ LA - en ID - CTGDC_2004__45_3_193_0 ER -
%0 Journal Article %A Grandis, Marco %A Pare, Robert %T Adjoint for double categories %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 2004 %P 193-240 %V 45 %N 3 %I Dunod éditeur, publié avec le concours du CNRS %U https://www.numdam.org/item/CTGDC_2004__45_3_193_0/ %G en %F CTGDC_2004__45_3_193_0
Grandis, Marco; Pare, Robert. Adjoint for double categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 45 (2004) no. 3, pp. 193-240. https://www.numdam.org/item/CTGDC_2004__45_3_193_0/
[AT] - , Categories with models, in: Seminar on triples and categorical homology theory, Lecture Notes in Mathematics 80, Springer, Berlin 1969, pp. 156-244. | Zbl | MR
[BE] - , Multiple functors I. Limits relative to double categories, Cahiers Topologie Géom. Différentielle 15 (1974), 215-292. | Zbl | MR | Numdam
[BM] - , Double categories, 2-categories, thin structures and connections, Theory Appl. Categ. 5 (1999), 163-175 (electronic). http://tac.mta.ca/tac/ | Zbl | MR
[BMM] - - , Symmetric monoidal and Cartesian double categories as a semantic framework for tile logic, Math. Structures Comput. Sci. 12 (2002), 53-90. | Zbl | MR
[CR] - , Lax monads, indexed monoidal monads, J. Pure Appl. Algebra 76 (1991), 13-32. | Zbl | MR
[Da] , A forbidden-suborder characterization of binarily-composable diagrams in double categories, Theory Appl. Categ. 1 (1995), 146-155 (electronic). http://tac.mta.ca/tac/ | Zbl | MR
[DP1] - , General associativity and general composition for double categories, Cahiers Topologie Géom. Différentielle Catég. 34 (1993), 57-79. | Zbl | MR | Numdam
[DP2] - , What is a free double category like?, J. Pure Appl. Algebra 168 (2002), 19-34. | Zbl | MR
[E1] , Catégories structurées, Ann. Sci. Ecole Norm. Sup. 80 (1963), 349-425. | Zbl | MR | Numdam
[E2] , Catégories et structures, Dunod, Paris 1965. | Zbl | MR
[Gr] , On distributive homological algebra, I. RE-categories, Cahiers Topologie Géom. Différentielle 25 (1984), 259-301. | Zbl | MR | Numdam
[GP] - , Limits in double categories, Cahiers Topologie Géom. Différentielle Catég. 40 (1999), 162-220. | Zbl | MR | Numdam
[Gu] , Tenseurs et machines, Cahiers Topologie Géom. Différentielle 21 (1980), 5-62. | Zbl | MR | Numdam
[Ke] , Doctrinal adjunction, in: Category Seminar (Sydney 1972/73), Lecture Notes in Mathematics 420, Springer, Berlin 1974, pp. 257-280. | Zbl | MR
[LS] - , Introduction to higher order categorical logic, Cambridge University Press, Cambridge 1986. | Zbl | MR
[La] , Metric spaces, generalized logic and closed categories, Rend. Sem. Mat. Fis. Univ. Milano 43 (1974), 135-166. Republished in: Reprints Theory Appl. Categ. 1 (2002), 1-37. | Zbl | MR






