christiankissig's enriched_category_theory [20 articles] Export

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

Hide details

	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
	Strict 2-toposes [My Copy] (16 Jun 2006) by M. Weber posted to enriched_category_theory toposes by christiankissig on 2009-05-22 13:33:48 as along with 1 person jrw
	Flatness, preorders and general metric spaces (revised) [My Copy] (21 Feb 2006) by Vincent Schmitt posted to algebra enriched_category_theory generalised_metric_spaces sheaves by christiankissig on 2009-05-22 13:26:47 as
	Emrichment through variation [My Copy] Pure and Applied Algebra, Vol. 120, No. 2. (1997), pp. 167-185. by R. Gordon, A. J. Power posted to enriched_category_theory by christiankissig on 2009-05-19 10:34:26 as
	Lawvere theories enriched over a general base [My Copy] Journal of Pure and Applied Algebra, Vol. 213, No. 3. (March 2009), pp. 377-386. by K. Nishizawa, J. Power posted to enriched_category_theory lawvere_theories by christiankissig on 2009-05-18 12:02:42 as
	Une autre propriété universelle pour le champ associé [My Copy] Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 21, No. 4. (1980), pp. 403-410. by Dominique Bourn posted to bicategories cohomology enriched_category_theory sheaves stacks by christiankissig on 2009-05-13 18:37:17 as
	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
	Morita equivalences of enriched categories [My Copy] Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 15, No. 4. (1974) by Harald Lindner posted to enriched_category_theory morita_equivalence by christiankissig on 2009-05-12 11:36:25 as
	Solving Recursive Domain Equations with Enriched Categories [My Copy] No. 94-62. (1994) by Kim R. Wagner posted to category_theory enriched_category_theory limit-colimit-coincidence by christiankissig on 2009-05-07 14:38:40 as
	Limits of small functors☆ [My Copy] Journal of Pure and Applied Algebra, Vol. 210, No. 3. (September 2007), pp. 651-663. by B. Day, S. Lack posted to enriched_category_theory by christiankissig on 2008-11-13 20:27:32 as
	Cauchy characterization of enriched categories [My Copy] Milan Journal of Mathematics, Vol. 51, No. 1. (1 December 1981), pp. 217-233. by Ross Street posted to enriched_category_theory higher_category_theory by christiankissig on 2008-11-09 12:23:37 as
	Elementary cosmoi I [My Copy] Category Seminar (1974), pp. 134-180. by Ross Street posted to enriched_category_theory by christiankissig on 2008-11-09 12:21:15 as
	ENRICHED LAWVERE THEORIES Dedicated to Jim Lambek [My Copy] by John Power posted to enriched_category_theory by christiankissig on 2008-11-04 10:50:39 as
	Interaction categories and the foundations of typed concurrent programming [My Copy] In Proceedings of the NATO Advanced Study Institute on Deductive program design (1996), pp. 35-113. by Samson Abramsky, Simon Gay, Rajagopal Nagarajan posted to enriched_category_theory lambda_calculus trace_theory by christiankissig on 2008-10-29 13:49:25 as
	University of Geneva, [My Copy] by Bob Coecke, David Moore, Quai Ernest-Ansermet, Ch- Geneva, Alexander Wilce posted to enriched_category_theory quantum_logic by christiankissig on 2008-10-29 13:45:19 as
	Adjunction for enriched categories [My Copy] Reports of the Midwest Category Seminar III (1969), pp. 166-177. by G. Kelly posted to enriched_category_theory by christiankissig on 2008-10-16 14:22:46 as
	An axiomatics for categories of coalgebras [My Copy] Electronic Notes in Theoretical Computer Science In CMCS '98, First Workshop on Coalgebraic Methods in Computer Science, Vol. 11 (1998), pp. 158-175. by John Power, Hiroshi Watanabe posted to category_theory coalgebra enriched_category_theory by christiankissig on 2008-09-09 09:49:32 as
	Recursively defined metric spaces without contraction [My Copy] Theoretical Computer Science In Automata, Languages and Programming, Vol. 380, No. 1-2. (21 June 2007), pp. 143-163. by Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell posted to enriched_category_theory topology by christiankissig on 2008-09-08 21:15:33 as
	Basic Concepts in Enriched Category Theory [My Copy] Vol. 10 (2005) by Max G. Kelly posted to category_theory enriched_category_theory by christiankissig on 2008-07-01 16:58:50 as
	Enriched Categories and the Floyd-Warshall Connection [My Copy] (1989) by Vaughan Pratt posted to category_theory enriched_category_theory semirings by christiankissig on 2008-07-01 16:58:47 as

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

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
domain_theory	14
modules	14
quantum_logics	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
bicategories	8
lawvere_theories	8
modal_logic	8
semirings	8
distributive_laws	7
higher_category_theory	7
limit-colimit-coincidence	7
quantum_logic	7
game_semantics	6
hopf_algebras	6
topology	6
trace_theory	6
coalgebraic_logic	5
concurrency	5
fibrations	5
process_algebra	5
processes	5
topoi	5
toposes	5
algebraic_topology	4
dagger_frobenius_algebras	4
differential_geometry	4
functor_lifting	4
hopf_monads	4
pi_calculus	4
sheaves	4
simulation	4
bigraphs	3
coinduction	3
constraint_satisfaction_problems	3
functors	3
interaction_categories	3
isbell_conjugacy	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
software_engineering	3
substituion_patterns	3
toget	3
wanted	3
algebraic_geometry	2
algebraic_specification	2
anonymity	2
ccs	2
closed_categories	2
coalgebras	2
cohomology	2
cryptography	2
csp	2
elliptic_curves	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
graph_theory	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	2
polynomial_equation	2
profinite_groups	2
quantum_mechanics	2
reversible_computing	2
topological_field_theory	2
traces	2
trace_semantics	2
universal_algebra	2
algebraic_categories	1
analysis	1
automata	1
bialgebra	1
bialgebras	1
bimonads	1
boolean_algebras	1
categorical_logic	1
chu-spaces	1
coalgebraic_automata_theory	1
commutative_monads	1
comonads	1
complexity_theory	1
computational_effects	1
constructive_mathematics	1
cuboidal_sets	1
distributed_systems	1
domain_equations	1
expressivity	1
file-import-09-09-22	1
functional_analysis	1
functional_programming	1
functor_presentation	1
generalised_metric_spaces	1
gsos	1
haskell	1
hilbert_spaces	1
homology	1
hopf_mondas	1
integration_theory	1
kleisli_category	1
knot_theory	1
lifting	1
manifolds	1
mathematics	1
measure_theory	1
modal	1
monad	1
monad_strength	1
morita_equivalence	1
mu_calculus	1
multi_agent_logics	1
natural	1
nominal_sets	1
number_theory	1
petri_nets	1
predicate	1
programming	1
programming_languages	1
proof_theory	1
quantales	1
quantaloids	1
quantum_computing	1
relation	1
retraction	1
separation_logic	1
service_oriented_architectures	1
sos	1
stacks	1
subsitution_patterns	1
substitution_patterns	1
substitution_systems	1
symmetric_monoidal	1
tensor_categories	1
tilings	1
toread	1
type_theory	1

christiankissig's enriched_category_theory [20 articles] Export

christiankissig's tags