christiankissig's Heunen:C [2 articles] Export

Recent papers posted to christiankissig's library by the author Heunen:C. You can also see everyone's Heunen:C.

Hide details Show 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

Arrows, like Monads, are Monoids [My Copy]

Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236.

by Chris Heunen, Bart Jacobs

posted to category_theory haskell programming by christiankissig on 2008-11-09 10:47:57 as

along with 6 people and 1 group jrw zednenem oryp6518 mstone rgb cognominal pileWorks

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/author/Heunen:C

christiankissig's tags

All tags in christiankissig's library

Filter:

[Display as Cloud] [Display as List]

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.