Q. about monoidal functors
2010-05-09 5:54 UTC (4+ messages)
` Q about_monoidal_functors?
bilax monoidal functors
2010-05-08 23:34 UTC (6+ messages)
RE : bilax monoidal functors
2010-05-08 3:27 UTC
bilax monoidal functors
2010-05-08 1:05 UTC
Call for Papers - BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF 2010)
2010-05-07 21:27 UTC
LFMTP 2010 at FLoC: Call for participation
2010-05-07 16:50 UTC
Four problems
2010-05-07 15:21 UTC (8+ messages)
` RE : categories: "
` Four problems corrected
` Four problems(corrected2)
` Re=3A_Four_problems=28corrected2=29?=
Q. about monoidal functors
2010-05-07 14:59 UTC (3+ messages)
` bilax "
call for participation GandALF 2010
2010-05-07 12:05 UTC
Remembrances of times past
2010-05-07 0:33 UTC
CT2010 - Reminder
2010-05-05 16:13 UTC
PhD place Available
2010-05-05 15:32 UTC
Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9)
2010-05-05 15:26 UTC
SCTS (Edinburgh, 21st May): Programme and call for participation
2010-05-05 11:55 UTC
Infinitary operations on C(X)
2010-05-04 11:30 UTC
Infinitary operations on C(X)
2010-05-04 6:08 UTC (2+ messages)
fundamental localic groupoid?
2010-05-03 21:59 UTC (13+ messages)
` RE : categories: Re: fundamental localic groupoi
` fundamental_localic_groupoid?
` Re fundamental localic groupoid?
WADT 2010
2010-05-03 12:40 UTC
Re: fundamental localic groupoid?
2010-05-02 15:14 UTC
Category Theory and Philosophy of Mathematics Today
2010-05-01 21:45 UTC
Riemann question
2010-05-01 8:55 UTC
FICS 2010: 2nd Call for Contributions
2010-05-01 6:57 UTC
Membranes and monads
2010-04-30 21:16 UTC
need pointers to literature on category theoretic presentation of co-algebras
2010-04-29 21:55 UTC
Iterating the fundamental groupoid
2010-04-29 9:02 UTC
iterating the fundamental groupoid does not work, so
2010-04-29 0:28 UTC (2+ messages)
PCA 2010 (a LICS 2010-affiliated workshop at FLoC 2010)
2010-04-27 17:28 UTC
MFPS 26 Final Call for Participation
2010-04-26 16:41 UTC
Voevodsky and type theory
2010-04-26 16:25 UTC
Biographies
2010-04-26 13:09 UTC
April Lectures by Johnstone at Pisa
2010-04-21 11:22 UTC (3+ messages)
Finitely related objects, categorically
2010-04-20 22:07 UTC
CFP: RULE 2010 - Deadline Extension
2010-04-19 8:19 UTC
EPEW 2010 -- first call for papers
2010-04-16 12:04 UTC
Workshop on semigroups and categories
2010-04-16 11:57 UTC
CT2010 - Call for registration
2010-04-16 11:04 UTC
Workshop: "Realizability in Chambéry"
2010-04-15 14:07 UTC
[PT] Oregon Programming Languages Summer School : Expanded Enrollment and Extended Deadline
2010-04-13 18:36 UTC
Oregon Programming Languages Summer School : Expanded Enrollment and Extended Deadline
2010-04-13 18:36 UTC
For the record
2010-04-13 16:26 UTC
Call for participation: QICS School, May 24-28, Oxford
2010-04-13 14:22 UTC
2nd Scottish Category Theory Seminar
2010-04-13 13:33 UTC
[PT] 2nd CFP Types postproceedings
2010-04-13 12:40 UTC
2nd CFP Types postproceedings
2010-04-13 12:40 UTC
Workshop on Categorical Logic
2010-04-12 13:18 UTC
Some documents 1966-67
2010-04-12 11:12 UTC
Priority threads
2010-04-11 18:41 UTC
For the record
2010-04-10 23:39 UTC
MFPS 2010 Accommodation and Banquet Announcement
2010-04-07 19:40 UTC
Reminder: Call for papers: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis ofTimed Systems )
2010-04-06 21:37 UTC
Final call: AMAST 2010
2010-04-06 16:22 UTC
FLoC 2010: Call for Participation
2010-04-06 8:25 UTC
ICLP-10 Doctoral Consortium Call For Papers
2010-04-05 13:20 UTC
LFMTP 2010 at FLoC: extended deadline
2010-04-03 8:55 UTC
Amir Pnueli Memorial Symposium
2010-04-01 9:40 UTC
Reminder: MFPS XXVI
2010-03-29 18:12 UTC
CFP: Category Theory 2010
2010-03-29 17:50 UTC
preprint available
2010-03-29 15:44 UTC
"censorship" and categories
2010-03-29 13:03 UTC
link to article
2010-03-29 7:14 UTC
Opposites via distributors
2010-03-28 11:30 UTC
Opposites via distributors
2010-03-28 6:22 UTC
Are there exactly 11 categories with 3 arrows?
2010-03-27 23:40 UTC (2+ messages)
AMAST 2010: deadline approaching
2010-03-27 19:09 UTC
QICS School: Foundational Structures in Quantum Comp & Inf, May 24-28, Oxford (followed by Quantum Physics and Logic workshop)
2010-03-27 1:07 UTC
QICS School: Foundational Structures in Quantum Comp & Inf, May 24-28, Oxford (followed by Quantum Physics and Logic workshop)
2010-03-27 1:07 UTC
Are there exactly 11 categories with 3 arrows?
2010-03-27 1:01 UTC (3+ messages)
converse relations and distributors
2010-03-25 22:20 UTC (2+ messages)
LFMTP 2010 at FLoC: Final Call for Papers
2010-03-25 21:10 UTC
Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)
2010-03-25 16:03 UTC
Proof Systems for Program Logics 2010: student grants available
2010-03-25 14:00 UTC
PAR'10 at FLOC'10: -- Final CFP
2010-03-25 9:28 UTC
CSL 2010 - 2nd Call for Papers
2010-03-22 18:07 UTC
E. W. Beth Dissertation Prize: 2010 call for nominations
2010-03-22 17:21 UTC
equality is beautiful
2010-03-22 16:15 UTC (10+ messages)
[PT] NASSLLI 2010: Open for Registration
2010-03-22 13:43 UTC
PhD position in Macquarie University
2010-03-22 10:22 UTC
CFP: CNSM 2010 (Former MANWEEK) 6th IEEE/IFIP International Conference on Network and Service Management
2010-03-22 2:37 UTC
equality is beautiful
2010-03-21 21:32 UTC
ICE 2010: Final call for papers (Submission deadline extended)
2010-03-19 16:17 UTC
SOS `10 call for papers
2010-03-19 14:46 UTC
PSSL 90, third announcement
2010-03-17 7:32 UTC
MFPS Call for Participation
2010-03-16 16:00 UTC
SFM-10:QAPL school -- last call for participation
2010-03-16 10:28 UTC
information on the next SIC in Paris
2010-03-12 12:31 UTC (4+ messages)
LECTURESHIPS IN (THEORETICAL) COMPUTER SCIENCE
2010-03-12 8:50 UTC
LECTURESHIPS IN (THEORETICAL) COMPUTER SCIENCE
2010-03-12 8:50 UTC
LOLA 2010 -- call for contributed talks
2010-03-11 17:56 UTC
LFMTP 2010 at FLoC: Call for Papers (CORRECT DATES)
2010-03-11 8:44 UTC
zigzag category
2010-03-10 17:16 UTC (2+ messages)
Opposite of objects in a bicategory?
2010-03-10 16:44 UTC (4+ messages)
Mathematics via Distance Drawing
2010-03-10 13:04 UTC
Mathematics via Distance Drawing
2010-03-10 11:57 UTC
ICTAC 2010: deadline extension
2010-03-09 15:59 UTC
Proof Systems for Program Logics 2010: call for talks
2010-03-09 15:47 UTC
Mathematics via Distance Drawing
2010-03-09 15:03 UTC (2+ messages)
Composing modifications
2010-03-08 3:46 UTC (2+ messages)
Call For Participation MFPS XXVI
2010-03-07 21:34 UTC
2nd Call for Papers: LoCoCO 2010
2010-03-05 17:06 UTC
Composing modifications
2010-03-05 15:59 UTC (8+ messages)
Relocating some old notes
2010-03-05 5:38 UTC
Fields Workshop Announcement
2010-03-02 16:18 UTC
PSA: Web pages relocating
2010-03-01 23:58 UTC
abstraction of notation from sets
2010-02-28 21:30 UTC (9+ messages)
PhD position in ICT on Formal Verification via SMT available in Trento
2010-02-26 21:10 UTC
Grothendieck and SGA
2010-02-25 21:58 UTC (3+ messages)
abstraction of notation from sets
2010-02-25 19:23 UTC (2+ messages)
FICS 2010 -- call for papers
2010-02-25 9:30 UTC
ICFP 2010: Second call for papers
2010-02-24 20:09 UTC
[PT] CFP: NASSLLI 2010 Student Session
2010-02-24 19:30 UTC
Call for Papers - AMAST 2010
2010-02-23 19:00 UTC
SFM-10:QAPL school -- 2nd call for participation
2010-02-19 12:51 UTC
CMCS 2010: Call for Short Submissions & Call for Participation
2010-02-16 17:03 UTC
[PT] CFP Types postproceedings
2010-02-16 15:09 UTC
CFP Types postproceedings
2010-02-16 15:09 UTC
PSSL90, second announcement
2010-02-16 14:38 UTC
Publication of writings by Alexander Grrothendieck
2010-02-15 15:08 UTC (6+ messages)
` Publication of writings by Alexander Grothendieck
GCVS 2010: Workshop on the Grand Challenge in Verified Software
2010-02-15 9:40 UTC
Logical consequences of descent theory
2010-02-13 17:40 UTC (5+ messages)
NASSLLI 2010: CALL FOR PARTICIPATION
2010-02-11 0:14 UTC
Question about coalgebras
2010-02-10 18:49 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).