Segal condition meets computational effects

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2010, Pages 150-159

  Melliès, Paul André ^a  

^a CNRS   (France)

Author keywords

Algebraic theories; Computational effects; Finitary monads; Higher dimensional algebra; Lawvere theories; Monads with arities; Nerve functor; Segal condition; State monad

Indexed keywords

ALGEBRA; SEMANTICS;

ALGEBRAIC THEORIES; COMPUTATIONAL EFFECTS; FINITARY MONADS; FUNCTORS; HIGHER-DIMENSIONAL; LAWVERE THEORY; MONADS WITH ARITIES; SEGAL CONDITION; STATE MONADS;

COMPUTATION THEORY;

EID: 78449312372     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2010.46     Document Type: Conference Paper

References (22)

1. N. Benton, J. Hughes, and E. Moggi, "Monads and effects," in APPSEM Summer School, ser. Lecture Notes In Computer Science, vol. 2395. Springer, 2000, pp. 24-122.
2. C. Berger, "A cellular nerve for higher categories," Advances in Mathematics, vol. 169, pp. 118-175, 2002.
3. M. Gabbay and A. M. Pitts, "A new approach to abstract syntax involving binders," in Proc. LICS 99. IEEE Press, 1992, pp. 214-224.
4. J. M. E. Hyland, P. B. Levy, G. Plotkin, and A. J. Power, "Combining algebraic effects with continuations," Theoretical Computer Science, vol. 375, 2007.
5. J. M. E. Hyland, G. Plotkin, and A. J. Power, "Combining effects: sum and tensor," Theoretical Computer Science, vol. 357, no. 1, pp. 70-99, 2006.
6. J. M. E. Hyland and A. J. Power, "Discrete lawvere theories and computational effects," Theoretical Computer Science, vol. 366, pp. 144-162, 2006.
7. A. Joyal and J. Kock, "Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)," To appear in the proc. of "Quantum Physics and Logic 2009", Electronic Notes in Theoretical Computer Science.
8. G. M. Kelly, "Structures defined by finite limits in the enriched context 1," Cahiers de Topologie et Géométrie Différentielle, vol. 3, pp. 3-42, 1980.
9. M. Kelly and R. Street, "Review of the elements of 2-categories," Lecture Notes in Mathematics, vol. 420, pp. 75-103, 1974.
10. S. Lack and R. Street, "The formal theory of monads II," Journal of Pure and Applied Algebra, vol. 175, pp. 243-265, 2002.
11. T. Leinster, "Nerves of algebras," talk at the International Category Theory Conference (CT 2004), slides available at http://www.maths.gla. ac.uk/~tl/vancouver, 2004.
12. F. Linton, "Relative functorial semantics: adjointness results," Lecture Notes in Mathematics, vol. 99, 1969.
13. G. Maltsinotis, La théorie de l'homotopie de Grothendieck, ser. Astérisque. SMF, 2005, vol. 301.
14. G. Maltsiniotis, "Structures d'asphéricité, foncteurs lisses, et fibrations," Ann. Math. Blaise Pascal, vol. 12, pp. 1-39, 2005.
15. E. Moggi, "Notions of computation and monads," Information And Computation, vol. 93, no. 1, 1991.
16. K. Nishizawa and A. J. Power, "Lawvere theories enriched over a general base," Journal of Pure and Applied Algebra, vol. 213, pp. 377-386, 2009.
17. G. D. Plotkin and A. J. Power, "Notions of computation determine monads," in Proc. FOSSACS 2002, Lecture Notes in Computer Science, vol. 2303. Springer Verlag, 2002.
18. J. Power, "Enriched lawvere theories," Theory and Applications of Categories, vol. 6, no. 7, pp. 83-93, 1999.
19. G. Segal, "Classifying spaces and spectral sequences," Inst. Hautes Études Sci. Publ. Math., vol. 34, pp. 105-112, 1968.
20. R. Street and R. F. C. Walters, "Yoneda structures on 2-categories," Journal of Algebra, vol. 50, pp. 350-379, 1978.
21. M. Weber, "Familial 2-functors and parametric right adjoints," Theory and Applications of Categories, vol. 18, pp. 665-732, 2007.
22. M. Weber, "Yoneda structures from 2-toposes," Applied Categorical Structures, vol. 15, pp. 259-323, 2007.