christiankissig's Street:R [11 articles] Export

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

	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
	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
	The formal theory of monads II [My Copy] Journal of Pure and Applied Algebra, Vol. 175 (2002), pp. 243-265. by Stephen Lack, Ross Street posted to category_theory monads by christiankissig on 2009-06-09 11:26:45 as along with 1 person mstone
	On the Size of Categories [My Copy] Vol. 1, No. 9. (1991), pp. 174-178. by Peter Freyd, Ross Street posted to category_theory by christiankissig on 2009-05-18 10:10:08 as
	Monoidal Bicategories and Hopf Algebroids [My Copy] Advances in Mathematics, Vol. 129, No. 1. (15 July 1997), pp. 99-157. by Brian Day, Ross Street posted to bicategories hopf_algebras monoidal_categories by christiankissig on 2009-05-15 19:18:04 as
	Fibrations in bicategories [My Copy] Cahiers de Topologie et Géométrie Différentielle Catégoriques (1980) by Ross Street posted to bicategories fibrations by christiankissig on 2009-05-14 10:15:36 as
	Characterization of bicategories of stacks [My Copy] Category Theory (1982), pp. 282-291. by Ross Street posted to bicategories by christiankissig on 2009-05-14 09:27:23 as
	Coherence for tricategories [My Copy] Memoirs of the American Mathematical Society, Vol. 117, No. 558. (1995) by R. Gordon, John Power, Ross Street posted to no-tag by christiankissig on 2009-01-29 10:13:22 as along with 1 person vanja_y
	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
	Braided tensor categories [My Copy] Adv. Math., Vol. 102, No. 1. (1993), pp. 20-78. by André Joyal, Ross Street posted to category_theory by christiankissig on 2008-11-04 13:35:02 as

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

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

christiankissig's Street:R [11 articles] Export

christiankissig's tags