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 (2+ messages)
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
CORCS'09 - Call for papers
2011-02-28 10:36 UTC (3+ messages)
` CORCS'11 "
` EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
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)
Lawvere on probability distributions as a monad
2011-02-22 14:08 UTC
Sheaves on Set^D, where D is a finite poset
2011-02-22 6:33 UTC
CALCO-Tools: Call for Papers
2011-02-21 19:13 UTC
Equideductive Topology
2011-02-20 16:36 UTC
TACL 2011, 2nd call for papers
2011-02-18 15:41 UTC
MFPS FInal Call for Papers
2011-02-14 16:19 UTC
SFM-11:CONNECT school in Bertinoro -- 2nd call for participation
2011-02-11 17:22 UTC
what happens when a basic sentence is added ?
2011-02-11 16:36 UTC (2+ messages)
CFP: Workshop on Theory and Practice of Delimited Continuations
2011-02-11 1:25 UTC
Chaire de la Vallee Poussin 2011 - Conference in Louvain
2011-02-07 13:06 UTC
theorem about ends
2011-02-07 11:26 UTC (4+ messages)
theorem about ends
2011-02-07 5:04 UTC
theorem about ends
2011-02-07 3:06 UTC
Oregon Programming Languages Summer School 2011 - Call For Participation
2011-02-04 23:24 UTC
Oregon Programming Languages Summer School 2011 - Call For Participation
2011-02-04 23:24 UTC
Addendum re CT2011 contributed talks
2011-02-04 19:54 UTC
source, sinks, and ?
2011-02-04 18:48 UTC (4+ messages)
` "
categories with several compositions?
2011-02-04 18:47 UTC (7+ messages)
` "
postdoctoral position in Brno
2011-02-03 17:07 UTC
colimits of polynomial functors
2011-02-03 17:04 UTC (4+ messages)
categories with several compositions?
2011-02-03 0:05 UTC
PSSL 92 - First Announcement
2011-02-02 20:18 UTC
colimits of polynomial functors
2011-02-02 18:48 UTC (2+ messages)
LACL 2011 - Last CFP
2011-02-02 8:45 UTC
GaLoP VI Program and Call for Participation
2011-02-01 10:24 UTC
GaLoP VI Program and Call for Participation
2011-02-01 10:24 UTC
Fibrations in a 2-Category
2011-01-29 19:20 UTC
Stone duality for generalized Boolean algebras
2011-01-27 2:41 UTC (5+ messages)
Set Theory for Grothendieck's Number Theory, revision
2011-01-26 17:27 UTC
Diagrammes on line
2011-01-26 10:07 UTC
CALCO 2011: Last Call for Papers
2011-01-25 16:01 UTC
Fibrations in a 2-Category
2011-01-23 20:17 UTC
Stone duality for generalized Boolean algebras
2011-01-23 4:06 UTC (3+ messages)
Stone duality for generalized Boolean algebras
2011-01-22 18:47 UTC
CT2011 Invited Speakers
2011-01-22 14:45 UTC
Fibrations in a 2-Category
2011-01-22 10:25 UTC
Stone duality for generalized Boolean algebras
2011-01-21 22:39 UTC
Grothendieck foundations draft on line
2011-01-21 16:44 UTC
Fibrations in a 2-category
2011-01-18 23:45 UTC (9+ messages)
` "
Call for contributions: CALCO-Jnr 2011: CALCO Young Researchers Workshop (Winchester, UK)
2011-01-18 23:23 UTC
3 PhD positions
2011-01-18 11:15 UTC
OSEMA 2011 Call for Papers
2011-01-18 9:01 UTC
A well known result
2011-01-14 19:56 UTC (2+ messages)
A gentle reminder: papers for IEEE COMPSAC 2011 - CreativeComputing Track and for International Journal of Creative Computing(IJCrC)
2011-01-14 13:07 UTC
Assistant or Associate Professors of Computer Science
2011-01-14 8:48 UTC
Assistant or Associate Professors of Computer Science
2011-01-14 8:48 UTC
Fibrations in a 2-category
2011-01-14 2:47 UTC
reference on enriched monoidal categories
2011-01-14 0:55 UTC (2+ messages)
existence of descent data/coalgebras over a comonad
2011-01-13 0:51 UTC
Mathematical Mechanics: From Particle to Muscle
2011-01-12 17:54 UTC
A cryptic remark in Street--Walters, 'Yoneda structures on 2-categories'
2011-01-11 23:35 UTC
Reference for monoidal bicategory of spans?
2011-01-11 21:02 UTC (2+ messages)
When is a category of fractions locally small?
2011-01-11 13:45 UTC (2+ messages)
A cryptic remark in Street--Walters, 'Yoneda structures on 2-categories'
2011-01-10 20:35 UTC (2+ messages)
request
2011-01-10 18:11 UTC (2+ messages)
GaLoP VI Call for Submissions
2011-01-10 17:28 UTC
SFM-11:CONNECT school in Bertinoro -- 1st call for participation
2011-01-10 11:22 UTC
TACL 2011, first call for papers
2011-01-08 20:24 UTC
CSL 2011 Call for Papers and Workshops
2011-01-06 21:15 UTC
source, sinks, and ?
2011-01-05 4:30 UTC (3+ messages)
Four papers
2011-01-04 2:06 UTC
European Workshop on Computational Effects
2011-01-03 11:43 UTC
Kan's Ex functor for the contravariant homotopy structure
2011-01-03 4:19 UTC
source, sinks, and ?
2011-01-03 0:40 UTC
Re; Does this topology have a name?
2011-01-02 18:30 UTC
LU Special Issue on Categorical Logic: deadline reminder & extension
2011-01-02 16:20 UTC
Does this topology have a name?
2011-01-01 22:15 UTC (3+ messages)
fibrations_in_2-Cat
2010-12-26 17:47 UTC (3+ messages)
Fibred categories as foundations
2010-12-23 14:42 UTC
TLCA 2011 --- Last Call for Papers
2010-12-22 16:58 UTC
list interruption
2010-12-18 14:36 UTC
CALCO 2011: Second Call for Papers
2010-12-17 13:47 UTC
Higher Gauge Theory, TQFT and Quantum Gravity, Lisbon, 7-13/2/2011
2010-12-16 18:47 UTC
page: next (older) | prev (newer) | 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).