ICFP 2014: Call for Workshop & Co-located Event Proposals
2013-10-30 20:15 UTC
ICFP 2014: Call for Workshop & Co-located Even Proposals
2013-10-30 18:42 UTC
Equivariant Serre-Swan correspondence
2013-10-28 14:22 UTC
Relational & Algebraic Methods (RAMiCS 2014) Deadlines extended!
2013-10-28 1:13 UTC
History of TAC
2013-10-25 4:19 UTC
Axiomatic Method and Category Theory
2013-10-23 15:38 UTC (2+ messages)
Subobject classifier algorithm
2013-10-23 9:52 UTC (2+ messages)
Preprint available
2013-10-22 8:03 UTC
Workshop on Categorical Methods in Algebra and Topology
2013-10-18 18:33 UTC
CMCS 2014: Second call for papers
2013-10-17 7:47 UTC
announcing the Kan extension seminar
2013-10-16 20:28 UTC
an analogy breaks, but why?
2013-10-16 14:16 UTC
Representing Streams II, Jan 2014, Lorentz Center, Leiden
2013-10-16 9:48 UTC
Representing Streams II, Jan 2014, Lorentz Center, Leiden
2013-10-16 9:48 UTC
A Popular Science Book
2013-10-16 0:09 UTC
CFP for MSFP 2014
2013-10-14 17:38 UTC
Call for Talk Proposals: Data-Centric Programming, San Diego, Jan 2014
2013-10-13 19:08 UTC
Slick proof that f (x) (g+h) = (f (x) g) + (f (x) h) in a monoidal category with 0, biproducts and duals
2013-10-13 7:05 UTC (2+ messages)
What is the intention behind Lawvere's "quality types"?
2013-10-11 12:46 UTC
Category theory in Mons (Belgium) 30 October 2013
2013-10-10 13:01 UTC
"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: call for starting school application and workshop registration
2013-10-09 16:52 UTC
Mathematical Structures of Computation, Lyon 2014 (REGISTRATION)
2013-10-05 17:04 UTC
BOUNCE categories@mta.ca: Approval required: (fwd)
2013-10-04 9:59 UTC
fractions_regular
2013-09-28 19:32 UTC (2+ messages)
Postdoc position in Warsaw
2013-09-27 12:41 UTC
Professor position at PPS - University Paris Diderot
2013-09-26 16:35 UTC
Professor position at PPS - University Paris Diderot
2013-09-26 16:35 UTC
Postdoctoral positions in Warsaw
2013-09-24 20:38 UTC
Question about proof nets
2013-09-24 18:13 UTC
Exponentials in linearly distributive categories
2013-09-24 15:50 UTC
Chair in Pure Maths at the University of Leicester
2013-09-15 1:20 UTC
"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th)
2013-09-12 13:06 UTC
"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th)
2013-09-12 13:06 UTC
Deadlines for Union College Conference
2013-09-11 17:19 UTC
Deadlines for Union College Conference
2013-09-11 17:19 UTC
CMCS 2014: First call for papers
2013-09-10 16:09 UTC
Special Issue of LU on categorical logic
2013-09-08 18:47 UTC
ETAPS 2014 2nd call for papers
2013-09-07 9:30 UTC
A category internal to itself
2013-09-06 12:33 UTC (10+ messages)
Oberwolfach Seminar on Mathematics for Scientific Programming
2013-09-05 13:55 UTC
A category internal to itself_correction
2013-09-04 20:14 UTC
Lower Algebra: Abelian categories =?= Modules over the monoidal category of Abelian groups
2013-09-04 6:29 UTC
Constructive Pointwise Natural Transformations
2013-09-02 15:36 UTC
'Proof', Berne, Switzerland, 9-13 September 2013
2013-09-02 9:05 UTC
Symmetric monoidal coclosed but not compact closed?
2013-09-01 1:26 UTC (2+ messages)
Lambekfest: Update
2013-08-27 14:46 UTC
Eilenberg Centenary talk slides
2013-08-24 19:52 UTC (2+ messages)
Lambekfest 2013 (temporary webpage)
2013-08-22 15:12 UTC
Workshop on Quantum Mathematics and Computation, Oxford, October 1-4 2013
2013-08-22 4:02 UTC
postdoc grants in Portugal
2013-08-16 15:56 UTC
Daniel M. Kan, 1927-2013
2013-08-07 22:04 UTC
Daniel M. Kan, 1927-2013
2013-08-07 19:57 UTC
Daniel M. Kan, 1927-2013
2013-08-07 18:10 UTC
Software Verification and Testing Track at ACM SAC 2014: 3rd CfP
2013-08-07 11:42 UTC
Higher Lawvere theories?
2013-08-05 16:08 UTC (4+ messages)
Non-triviality of *-autonomous categories
2013-08-04 17:44 UTC (4+ messages)
Higher Lawvere theories?
2013-08-04 3:08 UTC
CRM conference "Type Theory, Homotopy Theory and Univalent Foundations" (call for participation)
2013-08-01 21:59 UTC
PhD thesis: Riesz-Schwartz extensive quantities and vector-valued integration in closed categories
2013-08-01 16:31 UTC
Reply to Eduardo Dubuc
2013-07-29 20:13 UTC
Reply to Eduardo Dubuc
2013-07-28 15:39 UTC (7+ messages)
disjoint_coproducts_bis_?
2013-07-27 17:21 UTC (2+ messages)
Lambekfest Sept 21, 2013 (Preliminary announcement)
2013-07-27 16:04 UTC
Lecturer/Senior Lecturer
2013-07-25 21:13 UTC
disjoint_coproducts_?
2013-07-25 11:33 UTC (3+ messages)
` R: disjoint_coproducts_?
Principal bundles
2013-07-21 9:47 UTC
ETAPS 2014 first call for papers
2013-07-17 11:04 UTC
ETAPS 2014 first call for papers
2013-07-17 11:04 UTC
BLC 2013 + Dummett Day + Postgraduate Day (Leeds, September 2013)
2013-07-17 9:32 UTC
CT14 in Cambridge: First Announcement
2013-07-13 22:33 UTC
postdoctoral position in Paris
2013-07-13 17:58 UTC
Categories and functors
2013-07-12 16:02 UTC
FHIES 2013 Call for Participation
2013-07-11 20:50 UTC
Post-Doctoral Fellowship at CMU on Homotopy Type Theory
2013-07-11 20:21 UTC
post-doctoral position available
2013-07-11 20:04 UTC
Origin of the term "functor"
2013-07-11 7:40 UTC (4+ messages)
Weak monoids and monads in compact bicategories
2013-07-10 5:44 UTC
Mathematics via Symmetry
2013-07-07 13:16 UTC
Mathematical Structures of Computation, Lyon 2014
2013-07-07 9:42 UTC
PhD positions in Leicester
2013-07-05 11:10 UTC
CALCO 2013: call for participation
2013-07-04 21:41 UTC
Union College Conference
2013-07-04 10:36 UTC
A scientific meeting in honour of Pierre-Louis Curien
2013-07-03 7:17 UTC
Pictures
2013-06-26 15:30 UTC
Software Verification and Testing Track at ACM SAC 2014: 2nd CfP
2013-06-26 7:53 UTC
Please help identify photos
2013-06-25 20:21 UTC
Quipper: a quantum programming language
2013-06-21 0:23 UTC (2+ messages)
The Homotopy Type Theory Book
2013-06-20 19:47 UTC
Quipper: a quantum programming language
2013-06-20 19:36 UTC
Quipper: a quantum programming language
2013-06-20 17:34 UTC (2+ messages)
More publicity
2013-06-20 8:17 UTC
a historical question
2013-06-17 21:40 UTC
a historical question
2013-06-17 13:55 UTC (5+ messages)
Category Theory 2013 - final call
2013-06-17 4:07 UTC
More publicity
2013-06-13 17:55 UTC (2+ messages)
BOUNCE categories@mta.ca: Approval required: (fwd)
2013-06-13 16:00 UTC
Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France
2013-06-13 9:07 UTC (13+ messages)
` Publicity
CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
2013-06-12 15:11 UTC
An adjoint functor theorem
2013-06-10 21:40 UTC
position at Nijmegen
2013-06-10 9:37 UTC
Publicity
2013-06-08 21:13 UTC
Conference in Memory of Aurelio Carboni - Second Announcement
2013-06-08 13:23 UTC
Isbell & MacLane on the insufficiency on skeletal categories
2013-06-07 5:00 UTC (5+ messages)
Isbell & MacLane on the insufficiency on skeletal categories
2013-06-07 3:15 UTC
Publicity
2013-06-07 2:35 UTC
Conference in honour of Georges Maltsiniotis (final announcement)
2013-06-05 9:18 UTC
Postdoc position in proof theory in Marseille-IML, second-call
2013-06-04 11:54 UTC
Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France
2013-05-30 13:09 UTC
preprint and new url
2013-05-29 9:39 UTC
Conference "Type Theory, Homotopy Theory and Univalent Foundations"
2013-05-25 16:27 UTC
Double groupoids and crossed modules
2013-05-24 15:18 UTC
Software Verification and Testing Track at ACM SAC 2014: 1st CfP
2013-05-24 9:16 UTC
PhD positions in bialgebraic semantics in Warsaw
2013-05-22 22:01 UTC
samson@60, 28-30 May 2013 Full Program
2013-05-22 11:18 UTC
Post-doctoral Position at the University of Cambridge
2013-05-22 10:45 UTC
Call for Papers- special issue APAL
2013-05-18 8:35 UTC
separable locale
2013-05-17 12:35 UTC (2+ messages)
MFPS/LICS/CSF Joint Call for Participation
2013-05-17 12:07 UTC
CT2013 - early bird registration
2013-05-16 9:46 UTC
on a subcategory of algebras for a monad
2013-05-14 15:49 UTC (2+ messages)
GlynnFest Workshop, May 31st and June 1st, Cambridge University Computer Laboratory
2013-05-14 9:27 UTC
Zig Zags?
2013-05-13 12:50 UTC
on a subcategory of algebras for a monad
2013-05-13 8:15 UTC
(In)accessible comonads and (non)Grothendieck toposes
2013-05-11 15:26 UTC (2+ messages)
on a subcategory of algebras for a monad
2013-05-10 13:05 UTC
Reminder: CT2013 abstracts
2013-05-08 14:55 UTC
Samuel Eilenberg Centenary Conference - Second Announcement
2013-05-08 9:34 UTC
Internal truth objects
2013-05-08 5:24 UTC (4+ messages)
PhD program in Warsaw
2013-05-07 21:05 UTC
"Terminolgy" re-visited
2013-05-07 17:26 UTC (3+ messages)
` indexed_vs_fibrations
Terminology: Remarks
2013-05-04 5:34 UTC (5+ messages)
Foundations of Health Information Engineering and Systems (FHIES 2013) - extended submission deadline
2013-05-03 14:55 UTC
Professorship in Mathematics with focus on Geometry (Stockholm University)
2013-05-03 13:36 UTC
Terminology
2013-05-03 11:53 UTC (2+ messages)
announcement
2013-05-03 5:22 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).