The Yoneda axiom (was: One-stop version of my postings)
2006-03-27 20:05 UTC
cracks and pots
2006-03-27 14:28 UTC (3+ messages)
One-stop version of my postings
2006-03-27 13:56 UTC (2+ messages)
Monads on finite categories
2006-03-27 8:06 UTC
Foundations?
2006-03-26 22:04 UTC
Geocal 06
2006-03-26 21:50 UTC
George Mackey, 1916-2006
2006-03-26 21:48 UTC
WHY ARE WE CONCERNED? I
2006-03-26 21:43 UTC
cracks and pots
2006-03-26 13:37 UTC
cracks and pots
2006-03-26 13:25 UTC (2+ messages)
Progressive or linear or ... monoids?
2006-03-26 3:25 UTC
Monads on finite categories
2006-03-25 21:32 UTC
Progressive or linear or ... monoids?
2006-03-25 18:50 UTC (4+ messages)
Progressive or linear or ... monoids?
2006-03-25 13:27 UTC
cracks and pots
2006-03-25 3:22 UTC
cracks and pots
2006-03-24 16:24 UTC
George Mackey, 1916-2006
2006-03-24 16:13 UTC (3+ messages)
cracks and pots
2006-03-23 19:45 UTC
One-stop version of my postings
2006-03-23 17:09 UTC
Jon Beck
2006-03-23 15:56 UTC
Products in a compact closed category
2006-03-23 12:17 UTC
Logic Colloquium 2006 (Nijmegen NL) Call for Participation/Contributed talks
2006-03-21 8:29 UTC
Logical Foundations of Computer Science'07. First Call for Papers
2006-03-20 20:07 UTC
Jon Beck
2006-03-20 14:55 UTC
cracks and pots
2006-03-19 18:25 UTC
cracks and pots
2006-03-18 20:22 UTC (3+ messages)
cracks and pots
2006-03-18 15:19 UTC
pots and kettles
2006-03-17 19:03 UTC
cracks and pots
2006-03-17 18:29 UTC
cracks and pots
2006-03-17 17:26 UTC
cracks and pots
2006-03-17 16:24 UTC
cracks and pots
2006-03-17 14:25 UTC
cracks and pots
2006-03-17 9:36 UTC
cracks and pots
2006-03-17 8:49 UTC
cracks and pots
2006-03-17 8:06 UTC
pots and kettles
2006-03-17 7:36 UTC
From moderator: reposting Stasheff/interruption
2006-03-17 0:48 UTC
cracks and pots
2006-03-16 20:47 UTC
cracks and pots
2006-03-16 18:41 UTC
cracks and pots
2006-03-16 17:29 UTC
4th workshop on Quantum Programming Languages
2006-03-16 16:42 UTC
pots and kettles
2006-03-16 15:56 UTC
cracks and pots
2006-03-16 14:54 UTC
Cracks and pots and the gruppenpest
2006-03-16 14:32 UTC
cracks and pots
2006-03-16 12:05 UTC
cracks and pots
2006-03-16 9:51 UTC
(unknown)
2006-03-16 2:08 UTC
(unknown)
2006-03-16 2:07 UTC
(unknown)
2006-03-16 1:58 UTC
(unknown)
2006-03-16 1:53 UTC
cracks and pots
2006-03-15 21:00 UTC
preprint: Categories, norms and weights
2006-03-15 18:18 UTC
cracks and pots
2006-03-15 17:26 UTC (3+ messages)
cracks and pots
2006-03-15 13:35 UTC
MGS 2006
2006-03-15 11:58 UTC
Alexander Grothendieck on `speculation'
2006-03-15 9:31 UTC (5+ messages)
An autonomous category
2006-03-15 0:58 UTC
cracks and pots
2006-03-14 23:26 UTC (7+ messages)
When are all monos regular?
2006-03-14 15:14 UTC (2+ messages)
Categorical Logic & Quantum Computation: ASL special session
2006-03-14 4:02 UTC
symmetric simplicial sets
2006-03-13 14:17 UTC
An autonomous category
2006-03-13 13:45 UTC
Undirected graphs
2006-03-13 0:51 UTC (7+ messages)
CT2006 - Mac Lane, Eilenberg session and deadline
2006-03-10 13:33 UTC
Undirected graphs
2006-03-09 17:38 UTC
Undirected graph citation
2006-03-08 20:22 UTC
Glasgow PSSL: Second announcement
2006-03-08 15:42 UTC
Undirected graph citation
2006-03-07 4:43 UTC (7+ messages)
Category Theory software
2006-03-06 15:36 UTC
intuitionism and disjunction
2006-03-06 10:28 UTC (4+ messages)
Now available: Topology and groupoids, by Ronald Brown
2006-03-03 22:02 UTC
Undirected graph citation
2006-03-03 9:04 UTC
Undirected graphs
2006-03-02 18:16 UTC
Graphical Database for Category Theory (GDCT 3.0)
2006-03-02 14:50 UTC
Undirected graphs citation
2006-03-02 10:13 UTC (5+ messages)
Undirected graphs citation
2006-03-01 20:58 UTC
Charles Ehresmann
2006-02-28 10:35 UTC
CSL'06 FINAL CALL FOR PAPERS
2006-02-28 7:46 UTC
Mac Lane Conference: third announcement
2006-02-27 20:10 UTC
intuitionism and disjunction
2006-02-27 19:07 UTC (3+ messages)
CFP: LFMTP 2006
2006-02-27 14:21 UTC
WS-FM 2006 Call For Papers
2006-02-27 12:19 UTC
intuitionism and disjunction
2006-02-27 3:00 UTC (2+ messages)
Voevodsky on the homotopy lambda calculus
2006-02-26 12:38 UTC (3+ messages)
CT06: Deadlines approaching!
2006-02-24 21:04 UTC
multicategory algebras
2006-02-24 10:04 UTC
CFP: Mathematically Structured Functional Programming
2006-02-23 21:22 UTC
Virtual classrooms and Cat Th Education
2006-02-22 9:08 UTC
Special Session Mac Lane/Eilenberg
2006-02-21 22:34 UTC
CT2006: deadlines and Mac Lane, Eilenberg special session
2006-02-19 13:33 UTC
CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)
2006-02-16 18:48 UTC
MFPS Final Call for Papers
2006-02-15 21:15 UTC
Goedel Young Scholars' Competition - deadline 24 February, 2006
2006-02-14 13:28 UTC
Bibliographical reference needed
2006-02-14 11:52 UTC
CMCS 06 Short Contributions final CFP
2006-02-11 15:41 UTC
Glasgow PSSL: registration open
2006-02-10 17:36 UTC
Question (fwd)
2006-02-09 14:32 UTC (2+ messages)
Mac Lane Conference: second announcement
2006-02-09 4:51 UTC
Fwd: Voevodsky
2006-02-09 3:29 UTC
special ambidextrous adjunctions?
2006-02-08 15:16 UTC
CONCUR 2006 Call for Papers
2006-02-08 15:10 UTC
PSSL in Braunschweig, Preliminary announcement
2006-02-07 16:56 UTC
Towards a Definition of an Algorithm
2006-02-06 22:22 UTC
horizontal composition
2006-02-02 7:15 UTC
horizontal composition (fwd)
2006-02-01 17:13 UTC
horizontal composition
2006-01-31 19:22 UTC
horizontal composition
2006-01-31 12:53 UTC
universal algebra and diagrammatic reasoning
2006-01-30 19:13 UTC
Midlands Graduate School
2006-01-30 11:12 UTC
horizontal composition
2006-01-27 16:17 UTC
universal algebra and diagrammatic reasoning
2006-01-26 21:09 UTC
An International Symposium Celebrating the 100th Birthday of Kurt =
2006-01-26 14:59 UTC
CT 2006: student support and registration
2006-01-24 21:29 UTC
Fuzzy categories
2006-01-24 16:54 UTC (2+ messages)
book and preprints available
2006-01-24 16:51 UTC
FLoC'06 - Call for Papers
2006-01-23 19:03 UTC
MFPS 22 Second Call for Papers
2006-01-22 23:03 UTC
historical query
2006-01-19 19:56 UTC
Fuzzy categories
2006-01-19 18:00 UTC
About accessibility of the weak equivalences of a combinatorial model category
2006-01-19 17:34 UTC
Funding for attending CiE 2006
2006-01-18 15:07 UTC
research positions
2006-01-18 13:52 UTC
Normal quotients of categories
2006-01-18 10:26 UTC
Normal quotients of categories
2006-01-18 7:36 UTC
Normal quotients of categories
2006-01-17 22:30 UTC (2+ messages)
Chair in geom/top at Glasgow
2006-01-17 16:25 UTC
Fields program on homotopy theory, 2007
2006-01-17 14:33 UTC
PhD-Position (Mitarbeiterstelle) in Coalgebra, Algebra, Formal Methods
2006-01-17 8:51 UTC
Partial answer to Jean Benabou
2006-01-15 2:03 UTC (2+ messages)
Correction
2006-01-12 14:56 UTC
MacLane Memorial Conference
2006-01-12 13:23 UTC
CT 2006 - Consider Booking Accommodation Now
2006-01-12 3:35 UTC (2+ messages)
Back to mathematics
2006-01-09 9:00 UTC
MPC 2006 2nd Call for Papers
2006-01-07 11:39 UTC
CMCS 06 Final CFP: deadline 8 January
2006-01-06 6:35 UTC
discussion deadlines
2006-01-04 23:51 UTC
prone and supine
2006-01-04 19:09 UTC
prone and supine
2006-01-04 18:10 UTC
terminology
2006-01-04 14:59 UTC (2+ messages)
Mac Lane volume
2006-01-04 12:16 UTC
Terminology again
2006-01-04 10:59 UTC (4+ messages)
` Terminology again + Note from moderator
Tuesday Afternoon
2006-01-03 17:14 UTC
Terminology re fibrations and opfibrations of categories
2006-01-02 16:20 UTC
terminology
2005-12-30 1:16 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).