masteraka's category_theory [22 articles] Export

Recent papers added to masteraka's library classified by the tag category_theory. You can also see everyone's category_theory.

Hide details

	Category theory and models for parallel computation [My Copy] Category Theory and Computer Programming (1986), pp. 266-281. by Glynn Winskel posted to category_theory parallel_computation by masteraka on 2009-02-20 18:39:39 as
	Category theory and models for parallel computation [My Copy] In Proceedings of a tutorial and workshop on Category theory and computer programming (1986), pp. 266-281. by G. Winskel posted to category_theory parallel_computation by masteraka on 2008-06-25 03:44:42 as
	A Categorical Primer [My Copy] (1997) by Chris Hillman posted to category_theory by masteraka on 2008-06-25 03:37:09 as along with 2 people MehmetBudak benchambers
	A monadic approach to polycategories [My Copy] Electronic Notes in Theoretical Computer Science In CTCS'02, Category Theory and Computer Science, Vol. 69 (February 2003), pp. 183-208. by J. Koslowski posted to category_theory by masteraka on 2008-03-11 21:47:56 as along with 1 person christiankissig
	Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) [My Copy] (23 August 1991) by Andrea Asperti, Giuseppe Longo posted to category_theory by masteraka on 2008-02-01 04:56:24 as along with 5 people and 1 group pedagand robotact AbnerCYH aleks alec Compilers
	Toposes, Triples and Theories [My Copy] Grundlehren der mathematischen Wissenschaften, Vol. 278 (1985) by Michael Barr, Charles Wells posted to category_theory by masteraka on 2008-02-01 04:51:00 as
	Principles of programming with complex objects and collection types [My Copy] Theoretical Computer Science In Fourth International Conference on Database Theory (ICDT '92), Vol. 149, No. 1. (18 September 1995), pp. 3-48. by Peter Buneman, Shamim Naqvi, Val Tannen, Limsson Wong posted to category_theory databases by masteraka on 2008-01-20 04:57:43 as along with 1 person bhoward
	From Algebras and Coalgebras to Dialgebras [My Copy] Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 289-307. by Erik Poll, Jan Zwanenburg posted to category_theory coalgebra by masteraka on 2007-11-09 23:40:18 as
	A more categorical model of universal algebra [My Copy] Fundamentals of Computation Theory (1977), pp. 308-313. by J. Reiterman posted to category_theory universal_algebra by masteraka on 2007-11-05 01:29:40 as
	One more categorical model of universal algebra [My Copy] Mathematische Zeitschrift, Vol. 161, No. 2. (1 June 1978), pp. 137-146. by Jan Reiterman posted to category_theory universal_algebra by masteraka on 2007-11-05 01:29:12 as
	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted to category_theory universal_algebra by masteraka on 2007-11-04 20:15:04 as along with 7 people christiankissig zednenem madhadron Scis0000002 vishpool mmarcus ps_ttf
	Some fundamental algebraic tools for the semantics of computation : Part 1: Comma Categories, Colimits, Signatures and Theories [My Copy] Theoretical Computer Science, Vol. 31, No. 1-2. (1984), pp. 175-209. by J. A. Goguen, R. M. Burstall posted to category_theory by masteraka on 2007-10-25 05:15:04 as along with 1 person msakai
	Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories [My Copy] Theoretical Computer Science, Vol. 91, No. 2. (23 December 1991), pp. 239-264. by Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen posted to category_theory computation by masteraka on 2007-10-25 05:06:24 as along with 1 person msakai
	Jewels of Institution-Independent Model Theory [My Copy] Algebra, Meaning and Computation (2006), pp. 65-98. by Răzvan Diaconescu posted to confirmation category_theory institutions model_theory transfer by masteraka on 2007-10-11 22:33:45 as along with 1 person sgwyj
	Institutions: integrating objects, XML and databases [My Copy] Information and Software Technology, Vol. 44, No. 4. (31 March 2002), pp. 207-216. by Suad Alagic posted to confirmation category_theory databases institutions transfer by masteraka on 2007-10-11 22:19:01 as along with 1 person artur
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted to category_theory by masteraka on 2007-10-11 22:16:14 as along with 14 people and 1 group pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur popx marcinzalewski pileWorks
	Distributors at Work [My Copy] (2000) by Jean Bénabou posted to confirmation category_theory transfer by masteraka on 2007-10-11 18:28:17 as
	Abstract and Concrete Categories, The Joy of Cats [My Copy] (1990) by Jiri Adámek, Horst Herrlich, George Strecker posted to confirmation category_theory transfer by masteraka on 2007-10-01 05:31:28 as
	Handbook of Categorical Algebra 3 (Categories of Sheaves) [My Copy] Encyclopedia of Mathematics and its Applications, Vol. 52 (27 January 1995) by Francis Borceux posted to category_theory by masteraka on 2007-10-01 02:56:09 as
	Handbook of Categorical Algebra 2 (Categories and Structures) [My Copy] Encyclopedia of Mathematics and its Applications, Vol. 51 (27 January 1995) by Francis Borceux posted to category_theory by masteraka on 2007-10-01 02:55:44 as
	Handbook of Categorical Algebra 1 (Basic Category Theory) [My Copy] Encyclopedia of Mathematics and its Applications, Vol. 50 (26 August 1994) by Francis Borceux posted to confirmation category_theory transfer by masteraka on 2007-10-01 02:55:16 as
	Categories for the Working Mathematician [My Copy] (25 September 1998) by Saunders Mac Lane posted to confirmation category_theory transfer by masteraka on 2007-09-30 23:03:39 as along with 13 people and 2 groups robotact shivak pedagand ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal mmarcus Rightscom Compilers

Note: You may cite this page as: http://www.citeulike.org/user/masteraka/tag/category_theory

confirmation	33
transfer	25
category_theory	22
databases	17
data_exchange	12
caesar_paper	11
hypertree_decomposition	11
institutions	10
game_theory	8
complexity	6
reading_list	6
atm	5
data_integration	4
model_theory	4
parallel_computation	4
universal_algebra	4
cores	3
decompositions	3
hypergraphs	3
computation	2
mpi	2
bcq	1
coalgebra	1
haskell	1
htd	1
inverses	1
logic	1
music	1
separators	1
tree_decomposition	1
xml	1

masteraka's category_theory [22 articles] Export

masteraka's tags