Higher Dimensional Categories: Induction on Extensivity
暂无分享,去创建一个
[1] Peter T. Johnstone,et al. Connected limits, familial representability and Artin glueing , 1995, Mathematical Structures in Computer Science.
[2] John Power,et al. Why Tricategories? , 1995, Inf. Comput..
[3] Glynn Winskel,et al. Profunctors, open maps and bisimulation , 2004, Mathematical Structures in Computer Science.
[4] Claudio Hermida,et al. Higher dimensional multigraphs , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[5] J. Robin B. Cockett,et al. Introduction to distributive categories , 1993, Mathematical Structures in Computer Science.
[6] Stephen Lack,et al. V -CAT IS LOCALLY PRESENTABLE OR LOCALLY BOUNDED IF V IS SO , 2001 .
[7] Vaughan R. Pratt,et al. Modeling concurrency with geometry , 1991, POPL '91.
[8] John Power,et al. Enriched and internal categories: an extensive relationship , 2017 .
[9] Richard Garner,et al. A homotopy-theoretic universal property of Leinster's operad for weak ω-categories , 2008, Mathematical Proceedings of the Cambridge Philosophical Society.
[10] Richard Garner,et al. Understanding the Small Object Argument , 2007, Appl. Categorical Struct..
[11] Harvey Wolff,et al. V-cat and V-graph , 1974 .
[12] G. M. Kelly. Applications of Categories in Computer Science: On clubs and data-type constructors , 1992 .
[13] G. Kelly. A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on , 1980, Bulletin of the Australian Mathematical Society.
[14] Tom Leinster. Higher Operads, Higher Categories , 2003 .
[15] S. Lack,et al. Introduction to extensive and distributive categories , 1993 .
[16] Albert Burroni. $T$-catégories (catégories dans un triple) , 1971 .
[17] Gordon D. Plotkin,et al. Abstract syntax and variable binding , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[18] Michael Batanin,et al. Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories☆ , 1998 .
[19] Richard Garner,et al. Algebraic weak factorisation systems I: Accessible AWFS☆ , 2014, 1412.6559.
[20] John Power,et al. Category Theoretic Semantics for Typed Binding Signatures with Recursion , 2008, Fundam. Informaticae.