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 (5+ messages)
` terminology
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
terminology
2005-12-29 19:09 UTC
Terminology re fibrations and opfibrations of categories
2005-12-26 21:57 UTC (2+ messages)
idempotent completion
2005-12-26 20:57 UTC (2+ messages)
idempotent completion
2005-12-26 20:56 UTC
2006 Programme on Logic and Algorithms - Workshops
2005-12-22 20:14 UTC
SOS 2006 - Call for Papers
2005-12-22 3:57 UTC
tenured position available
2005-12-21 20:36 UTC
Right on, Jean!
2005-12-21 18:08 UTC (2+ messages)
list postings intermittent
2005-12-19 23:29 UTC
Postdoctoral Research Positions
2005-12-19 12:46 UTC
AMAST CFP (February deadline)
2005-12-18 17:31 UTC
nerves
2005-12-17 23:09 UTC (2+ messages)
categories, Frobenius algebras, and string theory
2005-12-17 1:19 UTC
Preprint: Bipolar spaces
2005-12-13 12:33 UTC
Organization vs foundations: Kreisel, Lawvere and category theory
2005-12-08 14:36 UTC
name for a concept
2005-12-08 11:26 UTC
name for a concept
2005-12-08 11:06 UTC
Chalkfinger
2005-12-08 4:44 UTC
misprint of url
2005-12-07 22:35 UTC
Name for a concept
2005-12-07 19:15 UTC (3+ messages)
Terminology question wrt fibrations of categories
2005-12-07 18:21 UTC (3+ messages)
Name for a concept
2005-12-07 13:36 UTC
Name for a concept
2005-12-07 11:04 UTC (5+ messages)
goedel prize 2006 (deadline for nominations Jan. 31, 2006)
2005-12-07 8:40 UTC
CMCS 2006
2005-12-06 18:47 UTC
Chalkfinger
2005-12-05 22:48 UTC (2+ messages)
Name for a concept
2005-12-05 14:44 UTC
semi-categories
2005-12-02 12:25 UTC (3+ messages)
Fwd: Mathematica and CAS
2005-12-01 23:44 UTC (2+ messages)
higher gauge theory
2005-12-01 21:13 UTC (2+ messages)
Categories Anonymous
2005-11-30 21:43 UTC (2+ messages)
job: non-academic position
2005-11-30 16:50 UTC
Re: Semigroups with many objects
2005-11-30 15:51 UTC (2+ messages)
` "
further references on semi-categories
2005-11-29 9:14 UTC
semigroups with many objects
2005-11-28 12:26 UTC
Quasi-categories
2005-11-28 7:06 UTC (2+ messages)
*-Autonomous Abelian Functor Categories
2005-11-28 3:38 UTC (2+ messages)
Semigroups with many objects (fwd)
2005-11-27 23:38 UTC
Union College Conference
2005-11-27 18:40 UTC
correction to "semigroupoid algebras" remark
2005-11-26 14:58 UTC
Semigroups with many objects
2005-11-26 14:49 UTC
*-Autonomous Functor Categories, revision
2005-11-26 12:50 UTC
CT 2006 announcement
2005-11-25 23:33 UTC
Semigroups with many objects
2005-11-25 21:24 UTC (3+ messages)
Internal anafunctors
2005-11-25 20:26 UTC (2+ messages)
Semigroups with many objects
2005-11-25 17:51 UTC (2+ messages)
semi-categories?
2005-11-25 16:37 UTC
Schreier theory
2005-11-25 16:36 UTC (3+ messages)
Master Class in Mathematical Logic, 2006-7
2005-11-25 15:19 UTC
Equivalence relations
2005-11-25 13:41 UTC
semi-categories?
2005-11-24 23:49 UTC
Lisbon positions in quantum computation and information
2005-11-24 10:33 UTC
Equivalence relations
2005-11-23 6:31 UTC
[Fwd: Schreier theory discussion]
2005-11-22 18:43 UTC
job: Postdoc at Oxford
2005-11-22 12:37 UTC
PSSL in Glasgow: preliminary announcement
2005-11-21 11:25 UTC
fibrations as
2005-11-20 22:48 UTC
fibrations as
2005-11-20 14:18 UTC
distributors
2005-11-18 19:31 UTC (2+ messages)
Ancient history
2005-11-18 18:59 UTC (3+ messages)
` pseudo triple categories
Not getting it wrong
2005-11-18 14:55 UTC (2+ messages)
First Announcement and Call for Papers for MFPS 22
2005-11-15 23:33 UTC
Question on rewriting and program specification
2005-11-14 22:15 UTC (2+ messages)
` Computer Algebra weaknesses
Schreier theory
2005-11-14 21:19 UTC
CiE06: 2nd Call for Papers
2005-11-14 12:11 UTC
Question on rewriting and program specification
2005-11-13 3:23 UTC (2+ messages)
Temporary job in Glasgow
2005-11-08 14:30 UTC
RTA'06: 1st Call for Papers
2005-11-08 12:47 UTC
job: post-doctoral positions at EPFL
2005-11-07 9:14 UTC
Seeking Osvaldo Acuna-Ortega
2005-11-05 2:34 UTC
CSL'06 CALL FOR PAPERS
2005-11-04 13:31 UTC
Ackermann Award
2005-11-04 12:22 UTC
CfP: Applied Semantics, Special Issue of J of TCS
2005-11-03 20:19 UTC
Two topos questions
2005-11-03 16:18 UTC
Two topos questions
2005-11-02 21:22 UTC (2+ messages)
2007 Fields program: postdoctoral positions
2005-11-01 21:43 UTC
Free abelian stuff
2005-11-01 19:37 UTC
weak multiple categories
2005-11-01 12:47 UTC
Generalizing bicategories
2005-10-31 1:27 UTC
abelian stuff
2005-10-30 13:59 UTC
weak double categories?
2005-10-28 21:07 UTC
FM'06 Announcement and Call for Submissions
2005-10-28 16:00 UTC
weak double categories?
2005-10-28 11:32 UTC (4+ messages)
weak double categories?
2005-10-28 0:13 UTC
Coalgebras Conference in Cairo
2005-10-27 11:02 UTC
Journal "Logical Methods in CS"
2005-10-25 12:19 UTC
FM'06: CFP
2005-10-21 7:26 UTC
Ottawa weather
2005-10-20 14:52 UTC
Research position in Coalgebras and Formal Verification at Southampton
2005-10-18 15:30 UTC
GEOMETRY OF COMPUTATION 2006 (Geocal06)
2005-10-15 6:10 UTC
Octoberfest schedule
2005-10-11 15:30 UTC
CMCS 2006
2005-10-11 8:29 UTC
Phreilambud at Bowdoin 1969
2005-10-10 11:42 UTC
preserving homology
2005-10-06 15:56 UTC
New and newish Bangor preprints
2005-10-05 10:14 UTC
PhD Studentship available
2005-10-05 10:12 UTC
Phreilambud at Bowdoin 1969
2005-10-04 11:42 UTC (5+ messages)
FACS'05: Call for Participation
2005-10-04 9:05 UTC
Phreilambud at Bowdoin 1969
2005-10-03 15:58 UTC
Name of concept?
2005-10-03 15:15 UTC
CSL'06 workshops and Ackermann Award
2005-10-03 14:48 UTC
Name of concept?
2005-09-30 18:37 UTC (2+ messages)
ENTCS
2005-09-28 6:21 UTC
Union College Conference
2005-09-27 12:49 UTC
ENTCS
2005-09-27 9:42 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).