categories - Category Theory list
 help / color / mirror / Atom feed
size_question_encore
 2011-07-05 23:29 UTC 

announcement
 2011-07-05 13:03 UTC 

size_question_reloaded
 2011-07-05  9:37 UTC  (3+ messages)

LFCS Free Topos Seminar, Phil Scott, 13 July, Edinburgh, Scotland
 2011-07-04 11:21 UTC 

size_question
 2011-07-03 15:01 UTC  (6+ messages)

CT2011-registration
 2011-07-01  6:55 UTC 

aiml 2012 early call for papers
 2011-06-30 21:07 UTC 

ordinal dependent choice
 2011-06-30 16:07 UTC  (4+ messages)

CT2011 programme
 2011-06-29  2:26 UTC 

size_question_bisbis
 2011-06-28 23:10 UTC 

size_question_bis
 2011-06-28 18:44 UTC 

2011 mini-WCATSS, Seattle, Aug 26-28
 2011-06-27 19:58 UTC 

[From: wilbur jonsson] Daniel Quillen obituary (fwd)
 2011-06-24 23:53 UTC 

BB and spectral sequences
 2011-06-21 23:07 UTC 

Lawvere on probability distributions as a monad
 2011-06-20 19:52 UTC 

Lawvere on probability distributions as a monad
 2011-06-20 19:37 UTC 

Lawvere on probability distributions as a monad
 2011-06-18 13:57 UTC  (3+ messages)

QPL 2011 workshop (Nijmegen)
 2011-06-17 12:45 UTC 

[PT] ESSLLI 2012: last call for course and workshop proposals
 2011-06-17 10:34 UTC 

CSASC 2011
 2011-06-16 11:40 UTC 

Preprint: From cubical to globular higher categories
 2011-06-15 12:00 UTC 

Wikipedia on Eilenberg-Mac Lane spaces
 2011-06-13  2:00 UTC 

Codensity and the ultrafilter monad
 2011-06-13  1:28 UTC  (3+ messages)

Codensity and the ultrafilter monad
 2011-06-10  1:04 UTC 

Hopf - Lie algebra adjunction in monoidal categories
 2011-06-09 15:02 UTC 

existence of limit and colimits in product categories
 2011-06-07 18:10 UTC 

TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June
 2011-06-01 14:03 UTC 

Willams Lecture
 2011-05-31 19:43 UTC 

Professorship in Adelaide
 2011-05-31 15:39 UTC 

CT2011
 2011-05-30 23:00 UTC 

CALCO 2011: First Call for Participation
 2011-05-30 16:46 UTC 

Gray tensor product
 2011-05-30  9:43 UTC  (3+ messages)

CFP: DBPL '11
 2011-05-28 18:26 UTC 

Gray tensor product
 2011-05-27 17:16 UTC 

Gray tensor product
 2011-05-27 16:56 UTC 

2nd CFP -- Haskell Symposium 2011
 2011-05-25 21:53 UTC 

preprint available (more on monads and extensive quantities)
 2011-05-25 15:22 UTC 

Erice School on "Graph Theory, Algorithms and Applications"
 2011-05-24 21:15 UTC 

Conway Games over arbitrary (strong) monad?
 2011-05-24  7:21 UTC 

abstract submissions for CT2011
 2011-05-24  0:25 UTC 

Enriched adjoint functor theorem?
 2011-05-23 20:23 UTC 

Enriched adjoint functor theorem?
 2011-05-23 19:56 UTC 

FHIES 2011: Deadline Extended
 2011-05-23 11:22 UTC 

Enriched adjoint functor theorem?
 2011-05-23  8:13 UTC 

Enriched adjoint functor theorem?
 2011-05-23  2:51 UTC 

Two 3-year Research Assistants - PLanCompS project - Swansea
 2011-05-21 18:07 UTC 

CATALG2011 - First announcement
 2011-05-19  9:08 UTC 

CT2011 - Participation and Early Registration
 2011-05-17  6:11 UTC 

1st CFP: LoCoCo 2010 (Logics for Component Configuration)
 2011-05-16 14:08 UTC 

European Master's Program in Computational Logic
 2011-05-14 17:45 UTC 

Lectureship in Computer Science, University of Leicester, UK
 2011-05-11  9:31 UTC 

Lectureship in Computer Science, University of Leicester, UK
 2011-05-11  9:31 UTC 

Polyhedral T-complexes
 2011-05-10 21:20 UTC 

A Colloquium in Honour of Jean Bénabou
 2011-05-10 17:35 UTC 

the Church-Howard Correspondence
 2011-05-06 16:57 UTC  (3+ messages)
  `  "

7 PhD positions in Leicester
 2011-05-06 14:32 UTC 

*SOS 2011* 2nd call for papers
 2011-05-05 15:36 UTC 

Post-doctoral position (for posting - thanks!)
 2011-05-05  8:41 UTC 

Explanations
 2011-05-02 18:22 UTC 

Explanations
 2011-05-02 17:01 UTC  (4+ messages)

ANNONCE D'UN COURS de André Joyal
 2011-05-01 22:01 UTC 

Explanations
 2011-05-01 21:27 UTC 

Lawvere at Union Conference
 2011-05-01 21:11 UTC 

Explanations
 2011-05-01 21:00 UTC 

Daniel Quillen
 2011-05-01 14:48 UTC 

Explanations
 2011-04-30 21:09 UTC 

CT2011 Abstracts
 2011-04-29 22:40 UTC 

Final call for contributions: CALCO-Jnr 2011: CALCO Young Researchers Workshop (Winchester, UK)
 2011-04-28 19:05 UTC 

Explanations
 2011-04-28 13:12 UTC 

Fwd: Topology at the VU
 2011-04-28  5:29 UTC 

MFPS 27 - Second Call for Participation
 2011-04-27 18:51 UTC 

Explanations
 2011-04-27 13:20 UTC  (12+ messages)

Explanations
 2011-04-27  8:16 UTC 

Functors and limits
 2011-04-26 21:12 UTC 

Functors and limits
 2011-04-26 15:15 UTC 

universal actions of pseudo-monoids in 'biclosed' monoidal 2-categories
 2011-04-26 14:45 UTC 

Explanations
 2011-04-21 19:09 UTC  (2+ messages)

LFMTP 2011 (Call for Papers)
 2011-04-21 14:35 UTC 

Higher Structures in China II, Call for Abstracts and Participation
 2011-04-21 13:56 UTC 

question about monoidal categories
 2011-04-20  9:43 UTC 

Explanations
 2011-04-19 23:37 UTC 

Another(!) PhD Position at Strathclyde
 2011-04-19 17:17 UTC 

CfA -- Mathematical Logic in the Netherlands (MLNL) in Groningen
 2011-04-19 10:49 UTC 

question about monoidal categories
 2011-04-19  1:40 UTC  (2+ messages)

Constitutive Structures
 2011-04-18  3:49 UTC  (10+ messages)

Death of Heinrich Kleisli
 2011-04-16 23:39 UTC  (2+ messages)

PhD studentship
 2011-04-16 17:33 UTC 

MFPS 27 Call for Participation
 2011-04-13 19:41 UTC 

Available Teaching Position
 2011-04-13 19:11 UTC 

A Colloquium in Honour of Jean Benabou
 2011-04-12 14:36 UTC 

Composition of Internal Relations
 2011-04-12  7:00 UTC 

CFP -- Haskell Symposium 2011
 2011-04-10 17:29 UTC 

Scottish Category Theory Seminar
 2011-04-07 20:15 UTC 

Preprint: "A topos-theoretic approach to Stone-type dualities"
 2011-04-05  0:58 UTC 

British Colloquium in Theoretical Computer Science - last call for participation
 2011-04-04 17:21 UTC 

10th Wessex Theory Seminar, Swansea, 7th April 2011
 2011-04-04 11:01 UTC 

on_ignorance
 2011-04-03 16:14 UTC 

on_ignorance
 2011-04-03 14:04 UTC  (2+ messages)

preprint available: "Monads and extensive quantities"
 2011-03-31  7:55 UTC 

A conditon on maps between sheaves
 2011-03-28  9:40 UTC  (5+ messages)

Submission Deadline approaching (April 5): 19th Symp.\ on Fundamentals of Computing Theory, Oslo
 2011-03-28  6:30 UTC 

Is this a studied notion of cardinality?
 2011-03-25 13:33 UTC  (2+ messages)

Is this a studied notion of cardinality?
 2011-03-24 16:05 UTC 

Is this a studied notion of cardinality?
 2011-03-24  0:29 UTC 

CT2011 - Vancouver - Registration
 2011-03-21  5:46 UTC 

*SOS 2010* call for papers
 2011-03-16 10:18 UTC 

CALCO-Tools: Call for Papers
 2011-03-16 10:09 UTC 

Fibrations in a 2-Category
 2011-03-14 21:57 UTC 

FHIES 2011: First Call for Papers
 2011-03-14  9:49 UTC 

String-Math 2011
 2011-03-12 15:13 UTC 

PSSL 92 - Second Announcement
 2011-03-11 13:13 UTC 

GandALF2011 -- EXTENDED DEADLINE
 2011-03-10 14:34 UTC 

7th ACM SIGPLAN Workshop on Generic Programming
 2011-03-10  9:46 UTC 

SFM-11:CONNECT school in Bertinoro -- last call for participation
 2011-03-08 18:25 UTC 

Union College Mathematics Conference
 2011-03-07 22:18 UTC 

Profinite groupoids
 2011-03-07 17:48 UTC  (2+ messages)

Michel Hebert in Cairo
 2011-03-07 13:16 UTC 

Denis Higgs
 2011-03-07 12:21 UTC 

What is Isbell completion?
 2011-03-06 22:54 UTC 

of possible interest
 2011-03-05 13:26 UTC 

Subobject Classifier Algorithm
 2011-03-04 13:44 UTC  (2+ messages)

GandALF 2011: 3rd Call For Papers
 2011-03-04 10:26 UTC 

locally generated enriched categories
 2011-03-03 18:37 UTC 

sieves in nLab
 2011-03-03 17:50 UTC  (3+ messages)

CFP: Sets Within Geometry (Nancy, 27-30 July 2011)
 2011-03-03 14:09 UTC 

Subobject Classifier Algorithm
 2011-03-02 10:35 UTC  (5+ messages)

comma objects
 2011-03-01 23:05 UTC 

Oregon Programming Languages Summer School 2011 - Second Call For Participation
 2011-03-01 22:34 UTC 

Oregon Programming Languages Summer School 2011 - Second Call For Participation
 2011-03-01 22:34 UTC 

PhD Thesis M.K. Dakin `Kan complexes and multiple groupoid structures' 1977
 2011-03-01 18:13 UTC 

Foundational Methods in Computer Science (FMCS 2011)
 2011-02-28 18:41 UTC 

Adjunctions and fibrations in 2-Cat
 2011-02-28 16:00 UTC 

Adjunctions and fibrations in 2-Cat
 2011-02-28 11:15 UTC 

EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
 2011-02-28 10:36 UTC 

OSEMA 2011 Deadline Extension
 2011-02-25 12:59 UTC 

CSL'11 call for papers and workshop proposals
 2011-02-25  8:44 UTC 

Subobject Classifier Algorithm
 2011-02-24 22:14 UTC 

request
 2011-02-24  6:16 UTC 

linear logic
 2011-02-23 17:43 UTC  (3+ messages)

Sheaves on Set^D, where D is a finite poset
 2011-02-22  6:33 UTC 

page:  |  | latest

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).