Ronnie in the news
2005-09-17 14:30 UTC
stable flatness and exponentiation
2005-09-16 23:08 UTC (2+ messages)
John Isbell Memorial
2005-09-12 19:37 UTC
Noether and fast thinking
2005-09-08 11:52 UTC
Memorial service for John
2005-09-08 4:44 UTC
News from Tulane?
2005-09-07 23:38 UTC (2+ messages)
Follow-ups to [HP89]?
2005-09-07 23:13 UTC
Memorial service for John
2005-09-06 20:21 UTC
CiE 2006, Call for Papers
2005-09-05 19:44 UTC
Eighth International Symposium on Functional and Logic Programming
2005-09-05 14:53 UTC
Preprint: Information integration in institutions
2005-09-01 17:56 UTC
Preprint: A simple description of Thompson's group F
2005-09-01 16:17 UTC
Preprint: A simple description of Thompson's group F
2005-09-01 11:53 UTC
Preprint: A simple description of Thompson's group F
2005-08-31 13:37 UTC
Job: Postdoc (two years)
2005-08-29 11:56 UTC
Topology and Concurrency Workshop in Aalborg
2005-08-22 19:30 UTC
New Book about Category Theory and Geometry
2005-08-22 13:44 UTC
Second Announcement-Octoberfest '05
2005-08-19 16:43 UTC
Paper available
2005-08-17 22:32 UTC
Ronnie in the news
2005-08-17 11:52 UTC
Research positions in Mobility and Security at Edinburgh
2005-08-15 16:47 UTC
position available
2005-08-15 15:40 UTC
CFP WRLA06
2005-08-12 23:13 UTC
Information and Computation - Open-Access Experiment
2005-08-12 17:01 UTC
John Isbell has died
2005-08-10 17:03 UTC
A representation theorem for Geometric Morphism
2005-08-09 13:29 UTC
CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis
2005-08-09 10:33 UTC
Application
2005-08-08 23:52 UTC
The Mac Lane obit by Kutateladze
2005-08-01 21:27 UTC
Formal Methods 2006
2005-08-01 16:19 UTC
Preprint: Absolute lax 2-categories
2005-08-01 14:33 UTC
Limit of finite sets
2004-07-31 16:09 UTC (5+ messages)
limits of finite sets
2004-07-31 12:02 UTC
Book: Higher Operads, Higher Categories
2004-07-30 0:35 UTC
Whitehead's problem
2004-07-29 10:15 UTC (2+ messages)
Proceedings, Fields Inst Meeting Dept 2002
2004-07-27 22:16 UTC
SOS2004: Call for Participation
2004-07-27 10:18 UTC
Proof nets
2004-07-19 12:05 UTC
relationship between existential/universal quantifiers and adjoints??
2004-07-15 16:44 UTC
algebraic set theory site
2004-07-14 17:45 UTC
Roy
2004-07-11 19:26 UTC
RTA'05: call for papers
2004-07-11 9:32 UTC
Grothendieck's writings
2004-07-09 18:44 UTC (3+ messages)
Domains VII (call for participation)
2004-07-09 8:43 UTC
Grothendieck Bio
2004-07-07 20:48 UTC (2+ messages)
Universal Logic 05
2004-07-06 17:54 UTC
ICGT 2004: call for participation
2004-07-05 16:20 UTC
New Journal
2004-07-05 10:24 UTC
Dinatural transformations
2004-07-05 6:35 UTC
Quick surveys of categorical logic
2004-07-03 21:29 UTC (2+ messages)
Questions on dinatural transformations
2004-07-03 0:20 UTC (2+ messages)
Grothendieck bio?
2004-07-02 13:32 UTC (5+ messages)
Questions on dinatural transformations
2004-07-01 1:15 UTC (2+ messages)
Pullback & coproduct of toposes
2004-06-29 17:01 UTC (3+ messages)
preprint: Filtered colimits in the effective topos
2004-06-29 15:52 UTC
preprint: Neural Networks, Knowledge and Cognition
2004-06-26 0:15 UTC
CMCIM 2004 Workshop: Final Call for (Short) Papers and Participation
2004-06-24 13:55 UTC
CTCS '04: Accepted papers and Final Call for Participation
2004-06-24 8:36 UTC
interruption
2004-06-16 21:10 UTC
LICS 2004 - Call for Participation
2004-06-10 13:05 UTC
New OUP Monograph: Reductive Logic and Proof-search
2004-06-08 15:34 UTC
\phi for the golden ratio?
2004-06-06 12:30 UTC (3+ messages)
preprint: The multitopic omega-category of all multitopic omega-categories (revised)
2004-06-06 2:51 UTC
synthetic topology
2004-06-04 12:57 UTC
TLCA 05 Call for Papers
2004-06-04 9:23 UTC
UNILOG'05 - Montreux
2004-06-03 12:15 UTC
preprint on behavioural covarieties available
2004-06-02 21:16 UTC
Nonabelian algebraic topology
2004-06-01 10:57 UTC
\phi for the golden ratio?
2004-06-01 7:21 UTC
Announcing two abstracts
2004-05-31 17:37 UTC
comparing cotriples via an adjoint pair
2004-05-31 13:52 UTC
Call for Participation: Workshop on Quantum Programming Languages
2004-05-29 16:21 UTC
CT04 Abstracts and Early Registration
2004-05-27 5:25 UTC
CFP: CMCIM 2004, WORKSHOP ON CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION AND MOBILITY
2004-05-25 16:33 UTC
CF Participation: CTCS Conference and Summer School
2004-05-25 16:11 UTC
MPC2004: Call for participation
2004-05-24 13:21 UTC
comparing cotriples via an adjoint pair
2004-05-24 9:04 UTC (5+ messages)
International Masters Program in COMPUTATIONAL LOGIC
2004-05-24 7:09 UTC
existence of initial algebras
2004-05-21 8:23 UTC (2+ messages)
parameterised accessiblity
2004-05-21 8:23 UTC
Preprint: The shape of a category up to directed homotopy
2004-05-20 13:03 UTC
the graph of an adjunction
2004-05-18 14:20 UTC
jobs: Professorships, Readerships, Lectureships, Tutorships
2004-05-17 13:34 UTC
UNIF 2004 workshop @ IJCAR : extended deadline
2004-05-17 9:37 UTC
SOS Workshop - final CfP
2004-05-17 9:36 UTC
Error in "Omega Categories I"
2004-05-15 17:34 UTC
CFP: Logic, Games and Philosophy: Foundational Perspectives
2004-05-14 10:14 UTC
FMCS 2004
2004-05-13 0:12 UTC
note, review, preprint
2004-05-11 18:09 UTC
book: Mal'cev, Protomodular, Homological and Semi-Abelian Categories
2004-05-11 16:45 UTC
Naive question: game semantics vs game theory
2004-05-10 13:00 UTC (3+ messages)
Naive question: game semantics vs game theory
2004-05-10 12:16 UTC
jobs: 4 LECTURERS IN COMPUTER SCIENCE
2004-05-05 15:41 UTC
Arithmetic Universes and Abstract Stone Duality
2004-05-03 22:11 UTC
Categories: Re: Extensions of Z+Z by Z
2004-04-30 21:37 UTC
A situation in search of terminology
2004-04-29 14:02 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-29 0:54 UTC
Extensions of Z+Z
2004-04-29 0:18 UTC
CoLoPS04: Call for Papers
2004-04-28 14:48 UTC
AMAST 04: Call for Participation
2004-04-28 14:07 UTC
Extensions of Z+Z by Z
2004-04-28 6:27 UTC (2+ messages)
Modeling infinitesimals with 2x2 matrices
2004-04-28 5:13 UTC
The proposition O=H
2004-04-27 15:39 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-26 16:54 UTC
Getting rid of cardinality as an issue
2004-04-25 13:54 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-25 6:58 UTC
MFPS Program Now Available - Deadline for Reduced Hotel Rates
2004-04-25 2:00 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-24 22:46 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-24 6:45 UTC
Getting rid of cardinality as an issue
2004-04-23 20:56 UTC (5+ messages)
` "
` Getting rid of cardinality as an issue (correction)
Getting rid of cardinality as an issue (correction)
2004-04-22 21:20 UTC
CFP: JELIA'04 - 9th European Conference on Logics in Artificial In=
2004-04-22 15:09 UTC
Consistency of the category of all categories
2004-04-21 4:11 UTC
preprint: Flow does not model flows up to weak dihomotopy
2004-04-19 5:49 UTC
Geometry of 2x2 real matrices
2004-04-17 1:40 UTC
Feferman colloquium talk of interest to SF Bay Area categorists
2004-04-16 19:55 UTC
Conditions for "Basis convexity" (?) of a theory
2004-04-16 15:47 UTC
right-derived functors
2004-04-16 12:09 UTC
Topos cohomology, context and technical questions
2004-04-16 0:15 UTC (2+ messages)
CfP: GETCO 04
2004-04-15 18:54 UTC
ICGT 2004: last call for papers
2004-04-15 13:55 UTC
"well-copowered" ?
2004-04-15 7:27 UTC
ICCL Summer School 2004
2004-04-13 18:35 UTC
Preprint: Omega Categories I
2004-04-13 12:29 UTC
"well-copowered" ?
2004-04-13 12:03 UTC
Re:arithmetical and geometric reals in (models of) SDG
2004-04-10 22:28 UTC
Robert Goldblatt's notion of a bundle
2004-04-10 5:28 UTC
My ftp site
2004-04-10 1:24 UTC
NASSLLI04 Call for Participation
2004-04-09 23:49 UTC
quantum quandaries - a category-theoretic perspective
2004-04-09 21:18 UTC
Omega categories paper from Carl Futia
2004-04-09 17:59 UTC
quantum quandaries - a category-theoretic perspective
2004-04-09 10:56 UTC (2+ messages)
quantum quandaries - a category-theoretic perspective
2004-04-08 1:38 UTC
arithmetical and geometric reals in (models of) SDG
2004-04-07 13:00 UTC (2+ messages)
International Category Theory Conference(CT04)
2004-04-06 19:27 UTC
preprint: Are operads algebraic theories?
2004-04-06 18:02 UTC
CTCS 2004: Final CFP and Deadline Extension
2004-04-03 14:49 UTC
RTA'04: call for participation
2004-04-02 12:24 UTC
research positions for doctoral students
2004-04-01 21:54 UTC
CP Newsletter Vol 0, Number 1
2004-04-01 17:58 UTC
2nd call Workshop on Logics for Resources, Processes and Programs
2004-04-01 10:06 UTC
MFPS: Last day to submit title and abstract
2004-04-01 2:59 UTC
Re : on the axiom of infinity
2004-03-31 18:59 UTC
New paper on Profunctors, Open Maps and Bisimulation
2004-03-31 6:55 UTC
CONCUR 2004: Final CFP - deadline approaching
2004-03-29 19:45 UTC
on the axiom of infinity
2004-03-29 16:03 UTC
Postscript^2
2004-03-27 13:09 UTC
Addendum
2004-03-26 13:39 UTC
University Lectureship in Computer Science, Univ of Oxford
2004-03-25 16:23 UTC
Cantor set/cantor dust and constructivism
2004-03-23 19:50 UTC
Domains VII (Call for Abstracts)
2004-03-23 15:15 UTC
CFP: Knowledge and Games
2004-03-23 14:17 UTC
Preliminary call for Participation: FMCO 2004
2004-03-23 9:30 UTC
Cantor set/cantor dust and constructivism
2004-03-23 2:37 UTC
Update: Workshop on Quantum Programming Languages
2004-03-22 19:11 UTC
CTCS 2004 - 3rd Call for Papers - Deadline April 9th
2004-03-22 8:51 UTC
FMCS 2004 (Calgary)
2004-03-17 23:48 UTC
Deligne on Govorov-Lazard, proof and history
2004-03-17 15:29 UTC
new book: Call-By-Push-Value
2004-03-17 12:37 UTC
80th PSSL - third announcement
2004-03-17 2:47 UTC
[Fwd: 2 questions]
2004-03-16 22:43 UTC
Concur 2004: Call for Papers
2004-03-12 15:37 UTC
mystification and categorification
2004-03-12 13:50 UTC (3+ messages)
` Quillen model structure of category of toposes/locales?
Picture of Kan?
2004-03-11 23:21 UTC (2+ messages)
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).