Tag category_theory [163 articles] Export

Recent papers classified by the tag category_theory.

	Semimodule Enrichment [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 218 (22 October 2008), pp. 193-208. by C. Heunen posted to physics enriched_category_theory category_theory by christiankissig on 2009-11-02 13:36:49 as
	A categorical model for the geometry of interaction [My Copy] Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 252-274. by Esfandiar Haghverdi, Philip Scott posted to geometry_of_interaction category_theory by robotact on 2009-10-31 01:57:49 as along with 1 person Scis0000002
	Physics, Topology, Logic and Computation: A Rosetta Stone [My Copy] ArXiv e-prints (6 March 2009) by J. C. Baez, M. Stay posted to quantum_physics mathematics expository_paper category_theory by mwbuksas on 2009-10-22 22:13:23 as along with 11 people amozeika pirapira egcavalcanti Scis0000002 jjrohal ttylec sflammia ansobol janpaniev jrw pqnelson
	Categories and Sheaves [My Copy] (01 December 2005) by Masaki Kashiwara, Pierre Schapira posted to sheaves category_theory by NitinCR on 2009-09-24 16:17:54 as
	Elementary Categories, Elementary Toposes [My Copy] (01 February 1996) by Colin McLarty posted to topos_theory category_theory by NitinCR on 2009-09-24 16:14:32 as
	On the Classification of Topological Field Theories [My Copy] (4 May 2009) by Jacob Lurie posted to tqft physics category_theory by NitinCR on 2009-09-01 02:28:43 as along with 1 person crescent
	Conceptual mathematics: a first introduction to categories [My Copy] (1991) by F. William Lawvere, Stephen H. Schanuel posted to introduction category_theory 55555 by robotact on 2009-08-17 22:57:21 as
	Models for concurrency [My Copy] (1995), pp. 1-148. by Glynn Winskel, Mogens Nielsen posted to 4444 category_theory concurrency by robotact on 2009-07-29 21:15:25 as along with 1 person fierykylin
	Induced functors on categories of algebras [My Copy] Mathematische Zeitschrift, Vol. 142, No. 1. (1 February 1975), pp. 1-14. by Jean-Pierre Meyer posted to category_theory functor_lifting by christiankissig on 2009-06-21 02:57:41 as
	Lifting theorems for Kleisli categories [My Copy] Mathematical Foundations of Programming Semantics (1994), pp. 304-319. by Philip Mulry posted to category_theory functor_lifting kleisli_category by christiankissig on 2009-06-20 10:31:30 as
	A categorical programming language [My Copy] (1987) by Tatsuya Hagino posted to category_theory programming_languages by christiankissig on 2009-06-18 11:53:16 as along with 2 people msakai scis0000001
	Adjoint Lifting Theorems for Categories of Algebras [My Copy] Bull. London Math. Soc., Vol. 7, No. 3. (1 November 1975), pp. 294-297. by Peter T. Johnstone posted to category_theory functor_lifting by christiankissig on 2009-06-18 11:41:51 as
	Quantum Quandaries: a Category-Theoretic Perspective [My Copy] (14 Apr 2004) by John C. Baez posted to algebraic_topology category_theory manifolds physics quantum_mechanics by christiankissig on 2009-06-16 15:26:29 as along with 4 people leemond31 jrw scis0000001 artur
	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories [My Copy] Algebra and Coalgebra in Computer Science (2005), pp. 1-29. by Samson Abramsky posted to category_theory monoidal_categories quantum_logic quantum_operator_algebras by christiankissig on 2009-06-16 13:06:34 as
	Traced monoidal categories [My Copy] Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 119, No. 03. (1996), pp. 447-468. by André Joyal, Ross Street, Dominic Verity posted to category_theory monoidal_categories by christiankissig on 2009-06-16 13:02:50 as
	Tannakian Categories [My Copy] Hodge Cycles, Motives, and Shimura Varieties (1981), pp. 101-228. by P. Deligne, J. Milne posted to category_theory modules by christiankissig on 2009-06-15 13:01:56 as
	Abstract physical traces [My Copy] Theory and Applications of Categories, Vol. 14 (2005), pp. 111-124. by Samson Abramsky, Bob Coecke, Coecke Ctcs posted to category_theory physics quantum_logic quantum_operator_algebras traces by christiankissig on 2009-06-15 12:55:59 as
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted to category_theory physics quantum_logic by christiankissig on 2009-06-12 18:47:04 as along with 6 people pqnelson jrw greg_restall dmitri83 scis0000001 eswar_physics
	Algebras Versus Coalgebras [My Copy] Applied Categorical Structures, Vol. 16, No. 1. (1 April 2008), pp. 255-295. by Robert Wisbauer posted to algebra bialgebra category_theory coalgebra hopf_algebra by christiankissig on 2009-06-09 11:49:32 as
	On Galois comodules [My Copy] ArXiv Mathematics e-prints (August 2004) by Robert Wisbauer posted to category_theory modules by christiankissig on 2009-06-09 11:47:34 as
	Equivalences between categories of modules and categories of comodules [My Copy] (2 Aug 2006) by Joost Vercruysse posted to category_theory modules by christiankissig on 2009-06-09 11:44:08 as
	Frobenius monads and pseudomonoids [My Copy] Journal of Mathematical Physics, Vol. 45 (October 2004), pp. 3930-3948. by Ross Street posted to category_theory by christiankissig on 2009-06-09 11:41:34 as
	Separable functors revisited [My Copy] Communications in Algebra, Vol. 18, No. 5. (1990), pp. 1445-1459. by M. D. Rafael posted to category_theory by christiankissig on 2009-06-09 11:40:44 as
	Generating the superpotential on a D-brane category: I [My Copy] (10 Oct 2006) by C. I. Lazaroiu posted to category_theory by christiankissig on 2009-06-09 11:34:27 as
	Compatibility Condition between ring and coring [My Copy] (23 Jan 2007) by El L. Kaoutit posted to category_theory modules by christiankissig on 2009-06-09 11:13:28 as
	Comatrix corings: Galois corings, Descent Theory, and a Structure Theorem for Cosemisimple corings [My Copy] ArXiv Mathematics e-prints (July 2002) by El, J. Gomez-Torrecillas posted to category_theory modules by christiankissig on 2009-06-09 11:11:47 as
	Comatrix Corings and Galois Comodules over Firm Rings [My Copy] (5 Sep 2005) by J. Gomez-Torrecillas, J. Vercruysse posted to category_theory modules by christiankissig on 2009-06-09 11:08:42 as
	On comatrix corings and bimodules [My Copy] (29 Jan 2003) by Tomasz Brzezinski, Jose Gomez-Torrecillas posted to category_theory modules by christiankissig on 2009-06-09 11:05:35 as
	Galois comodules [My Copy] Journal of Algebra, Vol. 290, No. 2. (15 August 2005), pp. 503-537. by T. Brzezinski posted to category_theory modules by christiankissig on 2009-06-09 10:40:49 as
	The structure of corings: Induction functors, Maschke-type theorem, and Frobenius and Galois-type properties [My Copy] (2 Mar 2000) by Tomasz Brzezinski posted to category_theory modules by christiankissig on 2009-06-09 10:36:51 as
	Semantics of Interaction [My Copy] In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), 1. by Samson Abramsky posted to category_theory game_semantics linear_logic by robotact on 2009-06-03 21:39:47 as
	Retracting Some Paths in Process Algebra [My Copy] In CONCUR '96: Proceedings of the 7th International Conference on Concurrency Theory (1996), pp. 1-17. by Samson Abramsky posted to category_theory process_algebra by robotact on 2009-06-03 16:59:08 as
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to category_theory formal_semantics lambda_calculus by robotact on 2009-06-01 16:45:23 as along with 4 people and 1 group kozima spl varming bfraser ConcertRG
	Factorization systems and fibrationsToward a fibred Birkhoff variety theorem [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 69 (February 2003), pp. 156-182. by J. Hughes, B. Jacobs posted to category_theory factorisation_systems fibrations universal_algebra by christiankissig on 2009-05-18 12:16:25 as
	van Kampen theorems for toposes [My Copy] Advances in Mathematics, Vol. 179, No. 2. (10 November 2003), pp. 291-317. by M. Bunge posted to category_theory toposes by christiankissig on 2009-05-18 10:12:04 as
	Abelian categories with applications to rings and modules, [My Copy] (1973) by Nicolae Popescu posted to algebra category_theory modules by christiankissig on 2009-05-17 17:00:36 as
	Discrete Lawvere theories and computational effects [My Copy] Theor. Comput. Sci., Vol. 366, No. 1. (2006), pp. 144-162. by Martin Hyland, John Power posted to category_theory lawvere_theories monads by christiankissig on 2009-05-16 10:43:48 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 lawvere_theories monads universal_algebra by christiankissig on 2009-05-16 10:40:34 as along with 7 people zednenem madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	A 2-categories companion [My Copy] (19 Feb 2007) by Stephen Lack posted to bicategories category_theory by christiankissig on 2009-05-15 18:19:45 as along with 2 people pqnelson jrw
	What is Unification? - A Categorical View of Substitution, Equation and Solution [My Copy] In Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques, Vol. 1 (1989), pp. 217-261. by Joseph A. Goguen posted to category_theory computer_science programming_languages tutorial by robotact on 2009-05-14 16:09:46 as
	Universal Algebra (Mathematics and Its Applications) [My Copy] (30 April 1981) by P. M. Cohn posted to algebra category_theory textbooks by robotact on 2009-05-14 15:30:59 as
	Foundations for Programming Languages (Foundations of Computing) [My Copy] (01 September 1996) by John C. Mitchell posted to algebra category_theory programming_languages textbooks type_theory by robotact on 2009-05-14 14:58:07 as along with 3 people voigt kontakte Malcohol
	Taking categories seriously [My Copy] Repr. Theory Appl. Categ., No. 8. (2005), pp. 1-24 (electronic). by William F. Lawvere posted to category_theory enriched_category_theory isbell_conjugacy toposes by christiankissig on 2009-05-12 11:40:40 as along with 1 person adrian_pigors
	Limits of small functors [My Copy] (13 Oct 2006) by Brian J. Day, Stephen Lack posted to category_theory isbell_conjugacy by christiankissig on 2009-05-12 11:16:52 as
	Relations in Categories [My Copy] by Stefan M. Fulfilment, Stefan Milius posted to category_theory by christiankissig on 2009-05-07 15:23:52 as
	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 computer_science textbooks type_theory by robotact on 2009-05-06 15:09:29 as along with 5 people and 1 group pedagand AbnerCYH aleks alec masteraka Compilers
	The Bicategory-Theoretic Solution of Recursive Domain Equations [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 172 (01 April 2007), pp. 203-222. by G. Cattani, M. Fiore posted to category_theory limit-colimit-coincidence by christiankissig on 2009-04-30 13:26:54 as
	The category-theoretic solution of recursive domain equations [My Copy] Foundations of Computer Science, 1977., 18th Annual Symposium on In Foundations of Computer Science, 1977., 18th Annual Symposium on (1977), pp. 13-17. by M. B. Smyth, G. D. Plotkin posted to category_theory limit-colimit-coincidence by christiankissig on 2009-04-30 13:20:06 as
	Category Theory [My Copy] (27 July 2006) by Steve Awodey posted to category_theory by NitinCR on 2009-04-28 23:52:09 as along with 2 people pedagand msakai
	Classification of fusion categories of dimension pq [My Copy] (30 May 2003) by Pavel Etingof, Shlomo Gelaki, Viktor Ostrik posted to category_theory classification fusion_categories quasi_hopf_algebras by Pomm on 2009-04-26 12:13:43 as

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

Result page: 1 2 3 4 Next

_copy	33
logic	13
modules	11
coalgebra	10
algebra	8
tensor_categories	8
algebraic_theories	6
physics	6
classification	5
foundation	5
lambda_calculus	5
monoidal_categories	5
textbooks	5
transfer	5
universal_algebra	5
_priv	4
computer_science	4
dependent_types	4
enriched_category	4
fca	4
fusion_categories	4
hopf_algebras	4
module_categories	4
monads	4
morphism	4
quantum_logic	4
relation	4
rewriting_logic	4
type_theory	4
adjunction	3
bicategory	3
complete_lattice	3
conformal_field_theory	3
databases	3
enriched_category_theory	3
functor_lifting	3
group_theory	3
institution	3
institutions	3
isbell_conjugacy	3
linear_logic	3
model_theory	3
programming	3
programming_languages	3
tensors	3
alpha_conversion	2
axiomatic	2
bisimulation	2
bounded_morphism	2
calculus_of_constructions	2
cartesian_closed_category	2
categorification	2
chu_space	2
clustering	2
communication	2
completion	2
complex_numbers	2
diagonalization	2
equivalence	2
frame	2
goedel	2
hopf	2
information	2
introduction	2
lawvere_theories	2
limit-colimit-coincidence	2
math	2
maude	2
modal_logic	2
monad	2
names	2
parallel_computation	2
quantale	2
quantaloid	2
quantum_mechanics	2
quantum_operator_algebras	2
quasi_hopf_algebras	2
theory	2
topoi	2
topology	2
topos	2
topos_theory	2
toposes	2
transition_systems	2
trees	2
bialgebra	1
bond	1
calabi_yau	1
closure_system	1
data_modeling	1
dual_categories	1
factorisation_systems	1
heterotic	1
mathematics	1
pre_modular_categories	1
process_algebra	1
ribbon_category	1
tqft	1
tutorial	1
xml	1

Tag category_theory [163 articles] Export

Related Tags