celebration of Jim Lambek
2014-08-28 21:43 UTC
Uniform locales in Shv(X)
2014-08-28 17:10 UTC (6+ messages)
Grigori (Grisha) Mints
2014-08-25 19:24 UTC
V-Cat, V-Prof as symmetric monoidal bicategories
2014-08-22 5:42 UTC
Uniform locales in Shv(X)
2014-08-21 14:51 UTC (2+ messages)
Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France
2014-08-18 15:40 UTC
postdoc grants in Portugal
2014-08-18 15:15 UTC
Book available
2014-08-11 7:01 UTC
A condition for functors to reflect orthogonality
2014-08-06 23:35 UTC (3+ messages)
YT at Seoul ICM 2014
2014-08-06 6:52 UTC
Final objects in 2-categories
2014-08-05 15:30 UTC (5+ messages)
Strictification avoids Choice?
2014-08-05 5:44 UTC
Present and future
2014-08-04 14:52 UTC (4+ messages)
Composition of Fibrations
2014-08-04 14:47 UTC (19+ messages)
` cleavages and choice
Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos
2014-08-04 7:03 UTC
Fred's letter
2014-08-02 15:13 UTC
re messages concerning Steve Schanuel
2014-08-01 17:43 UTC
A brief survey of cartesian functors
2014-08-01 12:10 UTC (12+ messages)
` R "
Stephen H. Schanuel
2014-08-01 2:42 UTC
Stephen H. Schanuel
2014-07-31 7:32 UTC (5+ messages)
functors defined by well-founded induction
2014-07-30 22:43 UTC (4+ messages)
New book: Basic Category Theory
2014-07-29 20:50 UTC (3+ messages)
Moerdijk's talk at CT2014
2014-07-29 8:04 UTC (2+ messages)
Les Distributeurs as a TAC Reprint
2014-07-28 22:05 UTC
Site for my papers
2014-07-28 20:35 UTC
Lectureship at the University of Leicester
2014-07-28 14:33 UTC
The paper you sent me
2014-07-28 14:13 UTC
Limits in REL
2014-07-25 12:51 UTC (2+ messages)
Double category question
2014-07-24 15:02 UTC (2+ messages)
Preprint: Symmetric self-adjoint Hopf categories and a categorical Heisenberg double
2014-07-24 14:53 UTC
A remark about Street fibrations
2014-07-24 3:48 UTC (3+ messages)
Preprint sought
2014-07-22 15:46 UTC (4+ messages)
CONCUR, TCS & TGC 2014: second call for participation
2014-07-20 16:51 UTC
Kelly: 'Equivalences in 2-categories, representations, and biadjoints'
2014-07-10 22:29 UTC
Conjecture about algebras of the double power locale monad
2014-07-10 15:11 UTC
generalised cartesian multicategories
2014-07-09 23:00 UTC (3+ messages)
PSSL96: Third announcement
2014-07-09 18:01 UTC
functors defined by well-founded induction
2014-07-09 9:39 UTC
functors defined by well-founded induction
2014-07-08 3:11 UTC
generalised cartesian multicategories
2014-07-08 3:07 UTC
Comma 2-categories (reference request)
2014-07-07 21:09 UTC
INFORMATIK 2014
2014-07-07 10:03 UTC
"classical" computability theory and the category of Sets
2014-07-06 22:58 UTC (6+ messages)
` "
Limits in REL
2014-07-06 22:43 UTC (5+ messages)
Limits in REL
2014-07-05 7:11 UTC (2+ messages)
3 postdoc positions at Oxford, CS, Quantum Group
2014-07-04 11:12 UTC
CONCUR, TCS & TGC 2014: first call for participation
2014-07-02 8:48 UTC
PhD opportunities at the University of Birmingham
2014-06-30 22:32 UTC
PhD opportunities at the University of Birmingham
2014-06-30 22:32 UTC
Helmut Roehrl
2014-06-30 7:53 UTC
CSL-LICS 2014 (online registration closes on June 30)
2014-06-29 10:57 UTC
Helmut Roehrl
2014-06-29 10:07 UTC
Jim Lambeck and photos of CT 2013
2014-06-28 13:15 UTC
Intro to higher order categorical logic question
2014-06-27 9:37 UTC (2+ messages)
Jim Lambeck
2014-06-26 17:32 UTC
Jim Lambek
2014-06-26 15:23 UTC (7+ messages)
Jim Lambek
2014-06-26 7:25 UTC
Jim Lambek
2014-06-25 11:18 UTC
Jim Lambek
2014-06-24 5:39 UTC
Professorship Available
2014-06-22 9:36 UTC
local compactness in four kinds of topology
2014-06-15 13:40 UTC
Kan Extension Seminar talks at CT2014
2014-06-14 16:44 UTC
Composition of Fibrations and Quantification
2014-06-12 23:28 UTC (5+ messages)
Preprint: Completion, closure, and density relative to a monad
2014-06-11 15:11 UTC
Marco Grandis Volume of TMJ: extending the deadline
2014-06-09 22:13 UTC
Reinhard Boerger
2014-06-09 15:16 UTC
Reinhard Boerger
2014-06-09 8:41 UTC (2+ messages)
Special Volume in honour of Manuela Sobral: reminder
2014-06-04 22:37 UTC
Is this known?
2014-06-03 15:36 UTC
Summer School in Lausanne: second announcement
2014-06-02 16:05 UTC
New Paper: Cartesian differential storage categories
2014-05-29 19:09 UTC
Announcing ACM's new Special Interest Group on Logic and Computation
2014-05-29 14:17 UTC
postdoc in Seville
2014-05-29 10:58 UTC
Reminder: The European Master's Program in Computational Logic: Application until 31 May 2014
2014-05-26 14:21 UTC
CT2014: early bird registration deadline
2014-05-25 14:09 UTC
K.A. Hardie
2014-05-25 13:27 UTC
K.A. Hardie
2014-05-25 4:44 UTC (5+ messages)
Functoriality of pullbacks of sets
2014-05-24 14:17 UTC (5+ messages)
List of finite categories
2014-05-24 5:11 UTC (2+ messages)
Pataraia's fixed point theorem
2014-05-22 23:38 UTC
K.A. Hardie
2014-05-21 21:57 UTC
Domains XI in Paris , Sept. 8-19 2914
2014-05-21 4:29 UTC
Two papers on Axiomatic Cohesion
2014-05-20 14:54 UTC
Descent for fibred monads
2014-05-18 0:43 UTC (6+ messages)
Days of the Federation devoted to operad theory and to its applications
2014-05-17 10:35 UTC
2 years postdoc- 4th June deadline
2014-05-16 19:53 UTC
Category theory vs. ZF language in a physics paper
2014-05-16 17:17 UTC (2+ messages)
Descent for fibred monads
2014-05-15 21:09 UTC
Isbell envelope
2014-05-14 0:20 UTC (6+ messages)
FINAL ANNOUNCEMENT: Spring School on Quantum Structures in Physics and Computer Science, 19--22 May 2014
2014-05-13 17:29 UTC
Isbell envelope
2014-05-12 12:33 UTC
Post-doc position at Convecs team (Inria/LIG)
2014-05-12 9:27 UTC
Post doc position in Copenhagen on categories and computational complexity
2014-05-09 9:33 UTC
CT2014 in Cambridge: Abstract submission deadline and money for PhD students
2014-05-06 14:55 UTC
*** 96th Peripatetic Seminar on Sheaves and Logic - Second announcement ***
2014-05-06 7:13 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).