Research positions
2008-09-04 7:45 UTC
Octoberfest
2008-09-03 21:57 UTC
logics for model checking
2008-09-03 20:59 UTC
KT Chen's smooth CCC
2008-09-02 22:00 UTC
logics for model checking
2008-09-02 18:07 UTC
Domains IX [Final Call for Registration]
2008-09-02 17:12 UTC
logics for model checking
2008-09-02 14:24 UTC
More CT2008 information will be in September
2008-09-01 11:52 UTC
More CT2008 information will be in September
2008-08-31 23:35 UTC
capturing regularity in languages
2008-08-30 9:02 UTC
Resolution; "abutting to"
2008-08-30 8:34 UTC
KT Chen's smooth CCC, a correction
2008-08-30 0:14 UTC
Smooth categories etc
2008-08-28 14:03 UTC
KT Chen's smooth CCC, a correction
2008-08-27 18:23 UTC
KT Chen's smooth CCC, a correction
2008-08-27 10:51 UTC
Resolution
2008-08-27 1:11 UTC
KT Chen's smooth CCC, a correction
2008-08-26 20:07 UTC
Resolution
2008-08-25 17:27 UTC
Asking for more trouble
2008-08-25 16:08 UTC
Octoberfest 08 - some details
2008-08-25 15:46 UTC
Asking for more trouble
2008-08-25 14:47 UTC
Asking for more trouble
2008-08-24 23:51 UTC
RIP: Henri Cartan, 1904-2008
2008-08-24 2:06 UTC
Final post
2008-08-23 13:17 UTC
uniqueness of a map object
2008-08-23 0:19 UTC
abutment = aboutement?
2008-08-22 16:46 UTC
abutment = aboutement?
2008-08-22 13:30 UTC
abutment = aboutement?
2008-08-22 13:22 UTC
abutment = aboutement?
2008-08-22 4:04 UTC
abutment = aboutement?
2008-08-21 20:23 UTC
abutment = aboutement?
2008-08-21 19:18 UTC
abutment = aboutement?
2008-08-21 14:30 UTC
abutment = aboutement?
2008-08-21 14:07 UTC
symmetric monoidal traces
2008-08-21 13:39 UTC
abutment = aboutement?
2008-08-21 6:15 UTC
symmetric monoidal traces
2008-08-20 16:22 UTC
abutment = aboutement?
2008-08-20 15:33 UTC
abutment = aboutement?
2008-08-20 14:45 UTC
abutment = aboutement?
2008-08-20 13:13 UTC
biadjoint biequivalences
2008-08-20 12:09 UTC
biadjoint biequivalences and spans in 2-categories
2008-08-20 9:04 UTC
LATA 2009: 2nd call for papers
2008-08-20 8:58 UTC
biadjoint biequivalences and spans in 2-categories
2008-08-20 6:56 UTC
abutment = aboutement?
2008-08-20 5:12 UTC
symmetric monoidal traces
2008-08-20 0:23 UTC
abutment
2008-08-19 21:31 UTC
biadjoint biequivalences and spans in 2-categories
2008-08-19 18:11 UTC
abutment = aboutement?
2008-08-19 18:06 UTC
abutment
2008-08-19 17:11 UTC
biadjoint biequivalence
2008-08-19 15:54 UTC
spans in 2-categories
2008-08-19 14:45 UTC
abutment = aboutement?
2008-08-19 6:28 UTC
abutment
2008-08-19 4:54 UTC
abutment
2008-08-19 4:23 UTC
abutment
2008-08-18 23:34 UTC
abutment
2008-08-18 16:32 UTC
abutment
2008-08-18 13:48 UTC
Co-categories
2008-08-18 9:58 UTC
KT Chen's smooth CCC
2008-08-18 0:16 UTC
abutment
2008-08-18 0:08 UTC
KT Chen's smooth CCC, a correction
2008-08-17 21:51 UTC
KT Chen's smooth CCC, a correction
2008-08-17 19:07 UTC
Term used in spectral sequences
2008-08-17 18:57 UTC
Sheaves in Geometry and Quantum theory, a workshop in Nijmegen
2008-08-14 14:29 UTC
Set as a monoidal category
2008-08-14 2:28 UTC
Program of Categories, Logic and Foundations of Physics, August 23-24, Oxford
2008-08-13 21:13 UTC
Co-categories
2008-08-13 16:29 UTC
advanced undergraduate algebra text
2008-08-13 14:37 UTC
Set as a monoidal category
2008-08-13 9:36 UTC
Co-categories
2008-08-13 3:45 UTC
Set as a monoidal category
2008-08-13 1:36 UTC
Set as a monoidal category
2008-08-13 0:23 UTC
Paper on slice stability in Locale Theory
2008-08-08 20:40 UTC
Category <b>2</b>
2008-08-07 11:27 UTC
Paper on slice stability in Locale Theory
2008-08-06 15:00 UTC
place-value notation
2008-08-03 0:01 UTC
Paper on slice stability in Locale Theory
2008-07-31 8:09 UTC
Searching for Grothendieck
2008-07-30 15:19 UTC
two preprints
2008-07-30 15:15 UTC
Two Category
2008-07-30 4:19 UTC
Job at Macquarie
2008-07-29 7:24 UTC
Call for participation: ICGT 2008
2008-07-26 23:12 UTC
Review of Symbolic Logic (RSL)
2008-07-25 18:08 UTC
Weak cubical categories
2008-07-25 14:46 UTC
LATA 2009: call for papers
2008-07-24 13:43 UTC
Categories, Logic and Foundations of Physics, August 23-24, Oxford University
2008-07-24 13:17 UTC
CT2009 and Max Kelly Volume of APCS
2008-07-23 22:57 UTC
list interruption
2008-07-23 11:03 UTC
PhD Positions in Secure Software and Languages
2008-07-22 15:08 UTC
products preserve epis of locales
2008-07-22 13:35 UTC
3rd Edition of "Computability: Computable Functions, Logic, and the Foundations of Mathematics" (Epstein & Carnielli)
2008-07-21 23:44 UTC
Martin Hyland and Peter Johnstone birthday PSSL
2008-07-19 17:55 UTC
Categories in Algebra, Geometry and Logic: First Announcement
2008-07-18 16:01 UTC
New Book: Jaap van Oosten - Realizability
2008-07-18 14:31 UTC
CSL 2008: Call for Participation
2008-07-18 14:09 UTC
DOMAINS IX [ Call for Participation ]
2008-07-17 19:19 UTC
Query
2008-07-17 8:35 UTC
A question about filter-powers (and infinitesimals)
2008-07-14 2:05 UTC
New Research Positions
2008-07-10 16:01 UTC
HB, and "Thank you"
2008-07-09 13:21 UTC
abstract combinatory logic?
2008-07-07 21:35 UTC
Lectureship at Nottingham
2008-07-04 18:29 UTC
Three papers
2008-07-04 13:19 UTC
Full_professor_position
2008-07-03 7:53 UTC
New technical report available
2008-07-02 0:16 UTC
Preprint : Combinatorics of labelling in higher dimensional automata
2008-07-01 12:49 UTC
Abstract Stone Duality - introduction/survey papers
2008-07-01 9:36 UTC
ESSLLI 2009 Call for Proposals
2008-06-25 11:45 UTC
Conference: Cats3, Pisa, September 1-5
2008-06-24 14:58 UTC
PhD position at University of Strathclyde, Glasgow
2008-06-19 19:51 UTC
Collogicum Logicum 2008, Darmstadt (Germany), 10-12 September 2008
2008-06-19 9:54 UTC
research positions
2008-06-18 10:55 UTC
CFP: 12th International Conference on Database Theory (ICDT 2009)
2008-06-18 0:45 UTC
Octoberfest 2008 in Montreal
2008-06-15 18:04 UTC
Call for Participation: Conferences on Intelligent Computer Mathematics
2008-06-13 18:09 UTC
PhD positions and Post Doc position at CEOL
2008-06-13 14:20 UTC
AiML 2008: Registration now open
2008-06-11 12:44 UTC
injective modules over a Lie groupoid
2008-06-10 20:20 UTC
General notions of equivalence and exactness
2008-06-05 18:54 UTC
Max Kelly Volume of "Applied Categorical Structures" submission deadline
2008-06-03 18:42 UTC
Mal'cev allegories
2008-05-30 18:34 UTC
General notions of equivalence and exactness
2008-05-29 13:24 UTC
General notions of equivalence and exactness (fwd)
2008-05-29 13:16 UTC
General notions of equivalence and exactness
2008-05-29 12:43 UTC
Funded PhD Student (GTA) positions
2008-05-29 9:33 UTC
General notions of equivalence and exactness
2008-05-29 9:01 UTC
Post doc grants
2008-05-27 18:39 UTC
Post doc position
2008-05-27 8:01 UTC
ICLP'08 CALL FOR PAPERS
2008-05-26 15:29 UTC
Workshop on Deep Inference, Nancy
2008-05-25 19:27 UTC
A small cartesian closed concrete category
2008-05-25 15:50 UTC
Cahiers are online
2008-05-25 15:10 UTC
Cahiers are online
2008-05-25 7:54 UTC
MSFP 2008: call for participation
2008-05-24 16:23 UTC
discussion on Replacement at CT08
2008-05-23 21:05 UTC
LICS 2008 Call for Participation
2008-05-22 20:49 UTC
A small cartesian closed concrete category
2008-05-22 16:27 UTC
FMCS 2008, Halifax, weekend *after* next
2008-05-17 2:22 UTC
Has anyone seen this condition?
2008-05-16 21:04 UTC
FMCS 2008, Halifax, next weekend
2008-05-16 21:02 UTC
A small cartesian closed concrete category
2008-05-16 20:57 UTC
post doc
2008-05-16 12:00 UTC
Workshop Domains IX [ Call for Abstracts ]
2008-05-15 11:00 UTC
Equalisers of powers - correction
2008-05-14 19:52 UTC
Equalisers of power
2008-05-13 8:20 UTC
Further to my question on adjoints
2008-05-12 23:43 UTC
Further to my question on adjoints
2008-05-12 22:38 UTC
Further to my question on adjoints
2008-05-12 19:27 UTC
Further to my question on adjoints
2008-05-12 18:42 UTC
Further to my question on adjoints
2008-05-12 15:51 UTC
Further to my question on adjoints
2008-05-12 15:43 UTC
Further to my question on adjoints
2008-05-12 12:34 UTC
FW: Hyperalgebras
2008-05-10 17:01 UTC
ICLP'08 CALL FOR APPLICATION PAPERS
2008-05-09 14:16 UTC
IEEE CSF 2008 call for participation
2008-05-09 11:48 UTC
Postdoc position at University of Savoy
2008-05-09 8:32 UTC
Second Call for Papers: ATMCS III, Paris France July 7-11, 2008
2008-05-07 11:42 UTC
Strictifying monoidal functors
2008-05-07 6:59 UTC
Workshop on Categorical Groups, second announcement
2008-05-06 17:44 UTC
ICLP'08 CALL FOR PAPERS
2008-05-05 14:27 UTC
Computability in Europe 2008 - early registration reminder
2008-05-03 20:42 UTC
WoLLIC 2008 - Call for Participation
2008-04-27 15:49 UTC
Finite categories and filtered colimits,
2008-04-23 13:28 UTC
Finite categories and filtered colimits,
2008-04-21 19:04 UTC
UTP'08 (revised call for papers)
2008-04-21 9:44 UTC
EXPRESS'08: preliminary call for papers
2008-04-19 21:58 UTC
Pregroups seminar, 5 May 2008, Quebec city
2008-04-18 18:23 UTC
MFPS 24 Second Call for Participation
2008-04-16 19:36 UTC
Equational correspondence and equational embedding
2008-04-15 15:53 UTC
Equational correspondence and equational embedding
2008-04-15 15:16 UTC
Equational correspondence and equational embedding
2008-04-15 14:06 UTC
Equational correspondence and equational embedding
2008-04-15 12:07 UTC
Research Associate in Semantics of Computation
2008-04-15 9:39 UTC
[ICGT'08 Doctoral Symposium] Call for Abstract Submissions
2008-04-15 8:21 UTC
[MPC'08] First call for participation
2008-04-14 8:14 UTC
First Call for Participation TFP 2008, The Netherlands
2008-04-10 19:04 UTC
Dedekind cuts
2008-04-07 16:10 UTC
symmetric monoidal closed bicategory definition?
2008-04-07 4:19 UTC
MFPS 24 Call for Participation
2008-04-07 2:53 UTC
symmetric monoidal closed bicategory definition?
2008-04-03 20:45 UTC
AJSE-Gentle Reminder
2008-04-02 19:19 UTC
exploiting similarities and analogies
2008-04-02 18:59 UTC
CT08 - Registration and accommodation deadlines
2008-04-02 15:44 UTC
The Rankin Lectures 2008
2008-04-02 15:39 UTC
LICS Newsletter 115
2008-04-02 10:38 UTC
exploiting similarities and analogies
2008-04-01 5:50 UTC
exploiting similarities and analogies
2008-03-31 19:51 UTC
FMCS 2008, Halifax - please register!
2008-03-28 20:31 UTC
MSFP second call for papers
2008-03-22 11:09 UTC
E. W. Beth Dissertation Prize: 2008 call for submissions
2008-03-21 14:21 UTC
Submission deadline March 31 for QUANTUM PHYSICS AND LOGIC & DEVELOPMENTS IN COMPUTATIONAL MODELS, Reykjavik, Iceland, July 12-13, 2008
2008-03-20 16:20 UTC
a tentative answer to Paul
2008-03-20 13:22 UTC
Fundamenta Informaticae / Special issue / Machines, Computations and Universality
2008-03-20 10:07 UTC
[gratra] ICGT 2008 - Call for Papers
2008-03-20 9:13 UTC
A question on adjoints
2008-03-19 23:41 UTC
A question on adjoints
2008-03-19 18:43 UTC
categorical formulations of Replacement
2008-03-19 13:02 UTC
categorical formulations of Replacement
2008-03-19 11:54 UTC
A question on adjoints
2008-03-19 5:43 UTC
question to Colin about uniqueness in his Replacement axiom
2008-03-18 22:28 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).