Limits
2001-05-03 12:59 UTC (3+ messages)
Limits
2001-05-02 17:02 UTC
diaxydoc.tex
2001-05-02 10:37 UTC
diagxy.tex, final version
2001-05-02 10:34 UTC
Abelian Topological Groups
2001-05-02 10:11 UTC (2+ messages)
Foundational Methods in Computer Science Workshop (FMCS'01)
2001-05-01 23:14 UTC
2001 Haskell Workshop: final call for papers
2001-05-01 16:47 UTC
Syntax question on diagxy
2001-04-29 0:26 UTC
GETCO 2001 : 2nd Call for papers
2001-04-27 7:27 UTC
Extension of natural transformations
2001-04-27 6:48 UTC
Stanford conference, July 30 - August 3
2001-04-27 0:31 UTC
Kleisli and colimits
2001-04-25 16:04 UTC (2+ messages)
preprint: Some differential equations in Synthetic Differential Geometry
2001-04-24 21:26 UTC
Hausdorff's book
2001-04-23 14:10 UTC
diaxydoc.tex
2001-04-22 12:38 UTC
diagxy.tex
2001-04-22 12:37 UTC
groupoids
2001-04-20 12:13 UTC
Category Theory and Hereditarily-Finite Sets
2001-04-19 21:19 UTC (2+ messages)
Category Theory and Hereditarily-Finite Sets
2001-04-18 23:50 UTC
ECT and computer science
2001-04-17 13:55 UTC
job: positions at the Technical University of Denmark
2001-04-17 8:50 UTC
Foundational Methods in Computer Science Workshop (FMCS'01)
2001-04-16 21:27 UTC
documentation for new diagram package
2001-04-13 17:24 UTC
Beta version of new diagram package
2001-04-13 17:17 UTC
A universal characterization of the unit interval
2001-04-10 14:28 UTC
Terminology
2001-04-09 11:06 UTC
strict n-categories, equivalences
2001-04-05 20:33 UTC
jobs: 13 positions at IT University of Copenhagen
2001-04-05 20:03 UTC
Looking for adjoints
2001-04-05 2:59 UTC (4+ messages)
job: @ Liverpool: Agent Communication Languages & Protocols
2001-04-04 15:08 UTC
Probability Theory
2001-04-03 8:29 UTC (2+ messages)
Looking for adjoints
2001-04-02 21:47 UTC
Probability Theory
2001-04-02 18:42 UTC
Co-operation with ASRIOS-Georgia
2001-03-31 16:06 UTC
TACS 2001 -- extended deadline
2001-03-30 15:38 UTC
Looking for adjoints
2001-03-28 23:31 UTC
jobs: Open positions at IT-C
2001-03-27 11:37 UTC
PhD studentships at the LFCS, U. of Edinburgh
2001-03-26 17:23 UTC
A. Carboni - eaddress
2001-03-23 18:05 UTC
preprint: The logic of linear functors
2001-03-20 22:20 UTC
IJCAR 2001 - Deadlines reminder + List of accepted papers
2001-03-20 12:44 UTC
LAST CFP: FORMAL STRUCTURES IN COMPUTER SCIENCE
2001-03-19 9:51 UTC
Call for papers GETCO 2001
2001-03-16 18:27 UTC
Warning in diagram
2001-03-15 15:53 UTC
question about symmetric monoidal categories
2001-03-15 4:55 UTC
TACS 2001 -- call for papers
2001-03-15 3:51 UTC
CFP: SAIG'01
2001-03-13 16:39 UTC
Apery and categories
2001-03-13 15:39 UTC
How do Cross-Category Results Relate to Category Theory? - Doctorow
2001-03-11 22:14 UTC
ConCoord: Concurrency and Coordination
2001-03-10 18:33 UTC
Paper
2001-03-08 19:08 UTC
Some pdf files
2001-03-07 23:44 UTC
CFP -- JOURNAL OF FUNCTIONAL PROGRAMMING
2001-03-07 11:42 UTC
TLCA 2001 -- grants for participants
2001-03-06 18:32 UTC
Call for Papers Argentinean Workshop in Theoretical Computer Science
2001-03-06 1:16 UTC
TLCA2001 call for participation
2001-03-03 12:54 UTC
preprint : The branching nerve of HDA and the Kan condition
2001-03-01 14:00 UTC
2nd announcement: meeting at Stanford
2001-02-28 15:37 UTC
connectedness/intuitionistic logic
2001-02-27 22:31 UTC
CALL FOR REGISTRATION: ESSLLI 2001 (Helsinki, Finland)
2001-02-27 12:46 UTC
job: Postdoc available
2001-02-27 8:37 UTC
Mike Healy's question about AI and math
2001-02-26 1:09 UTC
job: Research job in model checking application
2001-02-22 2:06 UTC
Book Announcement: Galois Theories
2001-02-21 8:48 UTC
Jon Beck's thesis
2001-02-20 15:58 UTC
toposes vs. sets - another aspect
2001-02-19 15:46 UTC
statecharts and categories
2001-02-19 11:49 UTC (2+ messages)
Inevitability of ordering products
2001-02-18 23:38 UTC (6+ messages)
` Unlabeled graphs
field and Galois theory
2001-02-16 18:27 UTC
Which is the simplest example?
2001-02-16 18:18 UTC (2+ messages)
job: Research studentships available at Birmingham
2001-02-16 17:30 UTC
job: Postdoctoral Position
2001-02-16 13:11 UTC
Question from Erdal Ulualan
2001-02-15 20:16 UTC
queries
2001-02-15 16:11 UTC
Tragic news of Japie Vermeulen
2001-02-14 15:53 UTC
Singleton as arbitrary
2001-02-14 8:31 UTC
Why binary products are ordered
2001-02-13 18:17 UTC (10+ messages)
` Singleton as arbitrary
2nd CFP: WS on Implicit Computational Complexity
2001-02-13 11:17 UTC
Inevitability of ordering products
2001-02-13 0:39 UTC (2+ messages)
TACS 2001 -- call for papers
2001-02-10 16:20 UTC
technical question about omega-categories
2001-02-09 18:36 UTC
reference: normal categorical subgroup?
2001-02-09 11:02 UTC
field and Galois theory
2001-02-09 11:02 UTC
Robin Milner
2001-02-08 13:29 UTC
New PhD Positions in Computing Science, Gothenburg, Sweden
2001-02-07 16:07 UTC
field and Galois theory
2001-02-07 10:07 UTC
complete atomic Boolean algebras
2001-02-06 13:21 UTC
preprint: Quantisation of Spaces
2001-02-05 23:30 UTC
Complete atomic Boolean algebra: Reference?
2001-02-05 19:24 UTC (2+ messages)
ST vs CT
2001-02-05 13:12 UTC
Some infinitesimal analysis questions
2001-02-04 23:33 UTC
Complete atomic Boolean algebra: Reference?
2001-02-04 20:25 UTC
job: Research job in model checking application
2001-02-02 16:18 UTC
CT vs ST thread
2001-02-02 12:05 UTC (2+ messages)
Book on Linear Logic (deadline extension)
2001-02-02 10:23 UTC
GT-VMT'01 Call for papers
2001-02-02 4:17 UTC
Why binary products are ordered
2001-02-01 11:10 UTC (2+ messages)
FICS'2001 - CFP
2001-01-31 9:17 UTC
Michael Healy's question on math and AI
2001-01-31 0:21 UTC
Michael Healy's question on math and AI
2001-01-30 19:54 UTC
Michael Healy's question on math and AI
2001-01-29 15:21 UTC
Michael Healy's question on math and AI
2001-01-28 0:07 UTC
Michael Healy's question on math and AI
2001-01-27 10:45 UTC
Michael Healy's question on math and AI
2001-01-26 21:37 UTC
Michael Healy's question on math and AI
2001-01-26 18:14 UTC (3+ messages)
Question
2001-01-26 11:32 UTC
Conf. Session Opportunity URL correction
2001-01-25 15:48 UTC
Machines in a Category
2001-01-25 13:26 UTC
Machines in a Category
2001-01-24 23:22 UTC (2+ messages)
Conference Session Opportunity
2001-01-24 14:02 UTC
Question
2001-01-23 22:33 UTC
Question
2001-01-23 5:55 UTC (3+ messages)
ETAPS 2001 FIRST CALL FOR PARTICIPATION
2001-01-22 17:13 UTC
preprint: Lax factorization algebras
2001-01-22 15:43 UTC
TAC Contents: Volume 7
2001-01-19 20:21 UTC
preprint: On the monad of proper factorisation systems in categories
2001-01-19 8:41 UTC
ICALP 2001 (Final Call for Papers)
2001-01-18 17:46 UTC
WRS'2001 - First call for papers
2001-01-18 10:59 UTC
CFP: Workshop on Structure Preserving Relations
2001-01-18 5:17 UTC
Grad studies at U. Ottawa
2001-01-17 21:51 UTC
FME2001 Call for Participation
2001-01-17 15:31 UTC
jobs: Research assistant positions in Bremen
2001-01-17 14:13 UTC
CSL 2001 -- First CALL FOR PAPERS
2001-01-16 17:43 UTC
preprint : About the globular homology of higher dimensional automata (new version)
2001-01-15 10:35 UTC
Resignation
2001-01-14 17:32 UTC
ConCoord: Concurrency and Coordination
2001-01-14 16:56 UTC
preprints: higher-dimensional categories
2001-01-10 15:13 UTC
job: lectureship position at Oxford
2001-01-10 12:09 UTC
APPSEM Workshop Second Call
2001-01-09 12:24 UTC
CFP : Book on Linear Logic (Reminder)
2001-01-08 13:52 UTC
WADT/CoFI 2001 - FINAL CALL FOR ABSTRACTS
2001-01-08 13:47 UTC
Lipari Summer School 2001
2001-01-08 12:39 UTC
MFPS 17 Finall Call for Papers
2001-01-04 23:46 UTC
Szabo's Algebra of Proofs
2001-01-04 0:47 UTC (3+ messages)
jobs: BRICS PhD grants, fellowships, and research positions
2001-01-04 0:31 UTC
Right adjoint of internal category functor?
2001-01-03 0:02 UTC
CfP CMCS2001 - Extended deadline
2000-12-26 9:11 UTC
job: faculty position at Western MIchigan University
2000-12-22 22:23 UTC
AVoCS'01 announcement
2000-12-22 17:54 UTC
TLCA 2001 Accepted Papers
2000-12-21 18:20 UTC
FoSSaCS 2001 Accepted Papers
2000-12-19 18:25 UTC
(-2)-categories
2000-12-19 15:24 UTC
Picard group of a ringoid
2000-12-18 13:33 UTC (2+ messages)
reprinting my book
2000-12-18 2:41 UTC
whoops
2000-12-17 19:10 UTC (2+ messages)
(-1)-categories and (-2)-categories
2000-12-15 19:08 UTC
Scanning mathematical text
2000-12-15 17:23 UTC
Job: Lectureships in Computer Science at Birmingham
2000-12-15 17:01 UTC
Scanning mathematical text
2000-12-15 14:54 UTC
Max's LMS book (out-of-print)
2000-12-15 9:11 UTC
(-1)-categories and (-2)-categories
2000-12-14 21:07 UTC
Query about Ab[C]
2000-12-14 17:39 UTC (3+ messages)
Terminology
2000-12-14 15:05 UTC (2+ messages)
` Max's LMS book (out-of-print)
Query about Ab[C]
2000-12-14 14:44 UTC
final functors
2000-12-13 13:09 UTC
Terminology
2000-12-13 11:10 UTC
Terminology
2000-12-13 1:17 UTC
Terminology
2000-12-12 8:19 UTC
First Announcement
2000-12-11 11:25 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).